Lemmas - PDFSEARCH.IO - Document Search Engine

Lemmas
Results: 207

#	Item
81	CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 Partitioning a Polygon into Two Mirror Congruent Pieces Dania El-Khechen∗ 1 Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 23:59:35 Euclidean geometry Triangles Euclidean plane geometry Area Congruence Simple polygon Lemmas Geometry Polygons Euclid
82	Isabelle/FOL — First-Order Logic Larry Paulson and Markus Wenzel August 27, 2014 Contents 1 Intuitionistic first-order logic Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2015-05-25 07:41:31 Lemmas If and only if Propositional calculus Mathematics Logic Mathematical logic
83	´ SZEMEREDI’S REGULARITY LEMMA FOR MATRICES AND SPARSE GRAPHS ALEXANDER SCOTT Abstract. Szemer´edi’s Regularity Lemma is an important tool Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2010-11-02 13:46:18 Graph theory Szemerédi regularity lemma Uniform space Partition Function Algorithmic version for Szemerédi regularity partition Mathematics Lemmas Combinatorics
84	Some Properties of a Normal Process Near a Local Maximum Author(s): George Lindgren Source: The Annals of Mathematical Statistics, Vol. 41, No. 6 (Dec., 1970), ppPublished by: Institute of Mathematical Statis Add to Reading List Source URL: www.maths.lth.se Language: English - Date: 2010-03-29 10:28:01 Lemmas Complex analysis Methods of contour integration
85	On the Analysis of Cryptographic Assumptions in the Generic Ring Model Tibor Jager∗ Institut für Kryptographie und Sicherheit Karlsruhe Institute of Technology Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-01-25 16:56:30 Modular arithmetic Polynomials Quadratic residue Finite fields Lemmas Schwartz–Zippel lemma Chinese remainder theorem XTR Ring Mathematics Abstract algebra Algebra
86	Table of Contents Multiple Access Communications Using Combinatorial Designs . . . . . . . . . . Charles J. Colbourn 1 Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:50:08 Szemerédi regularity lemma Year of birth missing Vazirani Amin Shokrollahi Combinatorics Sindhi people Lemmas Graph theory
87	Pouring Liquids: A Study in Commonsense Physical Reasoning: Appendix: Verification of Pouring Scenario Ernest Davis∗ Dept. of Computer Science New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2008-05-16 10:10:26
88	Ultra-Low-Dimensional Embeddings for Doubling Metrics T-H. Hubert Chan∗ Anupam Gupta† Abstract Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2007-10-10 14:08:55 Metric geometry Lemmas Johnson–Lindenstrauss lemma Chernoff bound Embedding Metric space Algebraic number field Differential geometry of surfaces Mathematics Topology Geometry
89	s1 supplementary document to Yu, Ahn, and Kapuscinski: Rationing Capacity in Advance Selling to Signal Quality Supplementary Document This document contains the omitted proofs for theorems and technical lemmas of the pa Add to Reading List Source URL: www.bm.ust.hk Language: English - Date: 2014-05-09 05:05:22
90	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh NFM 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Heuristics Rippling Knowledge Mathematical proof Invariant Lemmas Mathematics Linguistics Automated theorem proving

UPDATE