Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
191	Near optimal bounds in Freiman’s theorem Tomasz Schoen∗ Abstract We prove that if for a ﬁnite set A of integers we have \|A + A\| ≤ K\|A\|, then A is contained −1/2 Add to Reading List Source URL: www.staff.amu.edu.pl - Date: 2013-07-21 06:10:14
192	Derived varieties of complexes and Kostant’s theorem for gl(m\|n). M. Kapranov, S. Pimenov May 17, 2015 To Maxim Kontsevich for his 50th birthday Add to Reading List Source URL: www.cims.nyu.edu - Date: 2015-05-17 17:05:11
193	D IVIDE AND C ONQUER II D IVIDE AND C ONQUER II ‣ master theorem Add to Reading List Source URL: www.cs.princeton.edu - Date: 2015-07-20 15:40:54
194	A SHORT PROOF OF THE PRIME NUMBER THEOREM FOR ARITHMETIC PROGRESSIONS IVAN SOPROUNOV Abstract. We give a short proof of the Prime Number Theorem for arithmetic progressions following the ideas of recent Newman’s short Add to Reading List Source URL: academic.csuohio.edu - Date: 2011-03-22 17:43:57
195	The Torelli theorem Wouter Zomervrucht, November 5, Introduction Let X be a compact connected complex manifold of dimension d. The cup product Hd ( X, Z) × Hd ( X, Z) −→ H2d ( X, Z) = Z Add to Reading List Source URL: pub.math.leidenuniv.nl - Date: 2016-10-16 15:57:49
196	NUMERICAL SOLUTION of MARKOV CHAINS, p. 289–304 Reversed processses, product forms, non-product forms and a new proof of the BCMP theorem ∗ Add to Reading List Source URL: pubs.doc.ic.ac.uk - Date: 2007-02-21 10:15:12
197	Kuta Software - Infinite Geometry Name___________________________________ The Exterior Angle Theorem Add to Reading List Source URL: cdn.kutasoftware.com - Date: 2014-05-02 15:43:10
198	“Voici ce que j’ai trouvé:”Sophie Germain’s grand plan to prove Fermat’s Last Theorem Reinhard Laubenbacher Virginia Bioinformatics Institute Virginia Polytechnic Institute and State University Blacksburg, VA Add to Reading List Source URL: sofia.nmsu.edu - Date: 2010-01-24 11:02:40
199	Formal Analysis of Geometrical Optics using Theorem Proving Muhammad Umair Siddique A Thesis Add to Reading List Source URL: hvg.ece.concordia.ca - Date: 2015-12-21 21:22:16
200	PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers Gen Zou1 , Reuben Peter-Paul1 , Harold Boley1,2 , and Alexandre Riazanov3 1 Add to Reading List Source URL: www.cs.unb.ca - Date: 2012-08-23 11:42:31

UPDATE