1![Algebra 2. Teorema di Lindemann-Weierstrass. Roma, gennaio 2010 In this note we present Baker’s proof of the Lindemann-Weierstrass Theorem. Let Q denote the algebraic closure of Q inside C. Algebra 2. Teorema di Lindemann-Weierstrass. Roma, gennaio 2010 In this note we present Baker’s proof of the Lindemann-Weierstrass Theorem. Let Q denote the algebraic closure of Q inside C.](https://www.pdfsearch.io/img/142ed8996ea33bbfe2d6a6aa860346c9.jpg) | Add to Reading ListSource URL: www.mat.uniroma2.itLanguage: English - Date: 2010-01-22 06:36:10
|
---|
2![A quantitative version of a theorem due to Borwein-Reich-Shafrir Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus A quantitative version of a theorem due to Borwein-Reich-Shafrir Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus](https://www.pdfsearch.io/img/f6b32dd0b08f9e6c1438747ed5e57a85.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-16 09:11:27
|
---|
3![RTGDiscrete stochastic optimization with continuous auxiliary variables Rodolphe Le Riche* (speaker), Alexis Lasseigne**, François-Xavier Irisarri** * CNRS LIMOS and Ecole des Mines de St-Etienne, France ** ONERA RTGDiscrete stochastic optimization with continuous auxiliary variables Rodolphe Le Riche* (speaker), Alexis Lasseigne**, François-Xavier Irisarri** * CNRS LIMOS and Ecole des Mines de St-Etienne, France ** ONERA](https://www.pdfsearch.io/img/f557f0a460e092c3ee44c57acc124722.jpg) | Add to Reading ListSource URL: grk1855.tu-dortmund.deLanguage: English - Date: 2015-02-13 13:31:49
|
---|
4![Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of](https://www.pdfsearch.io/img/e7d3f689ece6bf98b40074d87705af9f.jpg) | Add to Reading ListSource URL: publications.lib.chalmers.seLanguage: English - Date: 2010-06-21 11:04:54
|
---|
5![The ABC of Simulation Estimation with Auxiliary Statistics Jean-Jacques Forneron∗ Serena Ng† arXiv:1501.01265v2 [stat.ME] 3 Mar 2015 The ABC of Simulation Estimation with Auxiliary Statistics Jean-Jacques Forneron∗ Serena Ng† arXiv:1501.01265v2 [stat.ME] 3 Mar 2015](https://www.pdfsearch.io/img/57cc28131639e4c5b6b1a7bbc57852f4.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2015-03-03 21:47:23
|
---|
6![Maximum Marking Problems with Accumulative Weight Functions Isao Sasano1 , Mizuhito Ogawa2, and Zhenjiang Hu3 1 RIEC, Tohoku University, Maximum Marking Problems with Accumulative Weight Functions Isao Sasano1 , Mizuhito Ogawa2, and Zhenjiang Hu3 1 RIEC, Tohoku University,](https://www.pdfsearch.io/img/6ee26c0bab9e41041fea3d75ba337d93.jpg) | Add to Reading ListSource URL: www.sic.shibaura-it.ac.jpLanguage: English - Date: 2006-07-16 10:37:04
|
---|
7![CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 On the Computational Complexity of Partitioning Weighted Points into a Grid of Quadrilaterals Alexander Idelberger∗ CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 On the Computational Complexity of Partitioning Weighted Points into a Grid of Quadrilaterals Alexander Idelberger∗](https://www.pdfsearch.io/img/2b8f154678fb720cd15b448150f94620.jpg) | Add to Reading ListSource URL: www.cccg.caLanguage: English - Date: 2014-07-27 21:29:04
|
---|
8![On the meromorphic solutions of certain class of nonlinear differential equations On the meromorphic solutions of certain class of nonlinear differential equations](https://www.pdfsearch.io/img/bac635535e91ec267ccb8e67da447465.jpg) | Add to Reading ListSource URL: www.journalofinequalitiesandapplications.comLanguage: English |
---|
9![A Tight Combinatorial Algorithm for Submodular Maximization Subject to a Matroid Constraint Yuval Filmus Department of Computer Science University of Toronto A Tight Combinatorial Algorithm for Submodular Maximization Subject to a Matroid Constraint Yuval Filmus Department of Computer Science University of Toronto](https://www.pdfsearch.io/img/677cb8057a144dbe8e5af98958047c8e.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2012-08-16 03:01:30
|
---|
10![On the Resistance of Prime-variable Rotation Symmetric Boolean Functions against Fast Algebraic Attacks DU Yusong1 * , WEI Baodian2 , ZHANG Fangguo2 & ZHANG Huang2 2 1 On the Resistance of Prime-variable Rotation Symmetric Boolean Functions against Fast Algebraic Attacks DU Yusong1 * , WEI Baodian2 , ZHANG Fangguo2 & ZHANG Huang2 2 1](https://www.pdfsearch.io/img/84520c3a31e6c6a370906aa07dda4ff6.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2015-05-06 18:34:47
|
---|