CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 Partitioning a Polygon into Two Mirror Congruent Pieces Dania El-Khechen∗ 1

Source URL: cccg.ca

• Euclidean geometry
• Triangles
• Euclidean plane geometry
• Area
• Congruence
• Simple polygon
• Lemmas
• Geometry
• Polygons
• Euclid

Isabelle/FOL — First-Order Logic Larry Paulson and Markus Wenzel August 27, 2014 Contents 1 Intuitionistic first-order logic

Source URL: isabelle.in.tum.de

• Lemmas
• If and only if
• Propositional calculus
• Mathematics
• Logic
• Mathematical logic

´ SZEMEREDI’S REGULARITY LEMMA FOR MATRICES AND SPARSE GRAPHS ALEXANDER SCOTT Abstract. Szemer´edi’s Regularity Lemma is an important tool

Source URL: people.maths.ox.ac.uk

• Graph theory
• Szemerédi regularity lemma
• Uniform space
• Partition
• Function
• Algorithmic version for Szemerédi regularity partition
• Mathematics
• Lemmas
• Combinatorics

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

Source URL: www.maths.lth.se

• Lemmas
• Complex analysis
• Methods of contour integration

On the Analysis of Cryptographic Assumptions in the Generic Ring Model Tibor Jager∗ Institut für Kryptographie und Sicherheit Karlsruhe Institute of Technology

Source URL: eprint.iacr.org

• Modular arithmetic
• Polynomials
• Quadratic residue
• Finite fields
• Lemmas
• Schwartz–Zippel lemma
• Chinese remainder theorem
• XTR
• Ring
• Mathematics
• Abstract algebra
• Algebra

Table of Contents Multiple Access Communications Using Combinatorial Designs . . . . . . . . . . Charles J. Colbourn 1

Source URL: www.ipm.ac.ir

• Szemerédi regularity lemma
• Year of birth missing
• Vazirani
• Amin Shokrollahi
• Combinatorics
• Sindhi people
• Lemmas
• Graph theory

Pouring Liquids: A Study in Commonsense Physical Reasoning: Appendix: Verification of Pouring Scenario Ernest Davis∗ Dept. of Computer Science New York University

Source URL: cs.nyu.edu

Ultra-Low-Dimensional Embeddings for Doubling Metrics T-H. Hubert Chan∗ Anupam Gupta† Abstract

Source URL: i.cs.hku.hk

• Metric geometry
• Lemmas
• Johnson–Lindenstrauss lemma
• Chernoff bound
• Embedding
• Metric space
• Algebraic number field
• Differential geometry of surfaces
• Mathematics
• Topology
• Geometry

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

Source URL: www.bm.ust.hk

The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh NFM 2012

Source URL: www.ai4fm.org

• Heuristics
• Rippling
• Knowledge
• Mathematical proof
• Invariant
• Lemmas
• Mathematics
• Linguistics
• Automated theorem proving