<--- Back to Details
First PageDocument Content
Ramsey theory / Integer sequences / Additive combinatorics / Additive number theory / Green–Tao theorem / Hales–Jewett theorem / Analytic number theory / Prime number / Generalized arithmetic progression / Mathematics / Combinatorics / Discrete mathematics
Date: 2008-05-19 13:54:34
Ramsey theory
Integer sequences
Additive combinatorics
Additive number theory
Green–Tao theorem
Hales–Jewett theorem
Analytic number theory
Prime number
Generalized arithmetic progression
Mathematics
Combinatorics
Discrete mathematics

Add to Reading List

Source URL: people.math.gatech.edu

Download Document from Source Website

File Size: 264,84 KB

Share Document on Facebook

Similar Documents

Mathematics / Algebra / Mathematical logic / Logic in computer science / Model theory / Proof theory / Presburger arithmetic / Time complexity / Generalized arithmetic progression / Polynomial / Vector space / Lattice

J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a version

DocID: 1lNBe - View Document

Cardinality / Set / Combination / Boolean satisfiability problem / Generalized arithmetic progression / Permutation / Polynomial / Mathematics / Combinatorics / Multiset

Decision Procedures for Multisets with Cardinality Constraints Ruzica Piskac and Viktor Kuncak School of Computer and Communication Science ´ Ecole

DocID: 19iyz - View Document

Logic in computer science / Metalogic / Model theory / Multiset / NP-complete problems / Presburger arithmetic / Satisfiability Modulo Theories / Cardinality / Generalized arithmetic progression / Mathematics / Mathematical logic / Theoretical computer science

MUNCH - Automated Reasoner for Sets and Multisets Ruzica Piskac and Viktor Kuncak Swiss Federal Institute of Technology Lausanne (EPFL)

DocID: 1996N - View Document

Combinatorics / Algebraic number theory / Natural density / Coprime / Generalized arithmetic progression / Integer / Mathematics / Abstract algebra / Number theory

A NOTE ON THE EQUIVALENCE OF MOTZKIN’S MAXIMAL DENSITY AND RUZSA’S MEASURES OF INTERSECTIVITY R. K. PANDEY Abstract. In this short note, we see the equivalence of Motzkin’s maximal density of integral sets whose no

DocID: S6jB - View Document

Ramsey theory / Integer sequences / Additive combinatorics / Additive number theory / Green–Tao theorem / Hales–Jewett theorem / Analytic number theory / Prime number / Generalized arithmetic progression / Mathematics / Combinatorics / Discrete mathematics

PDF Document

DocID: 11mb - View Document