Integers · 2009 · 16 citations · 4 references
Natural SciencesMathematicsNumber TheoryAlgebraic Number TheoryArithmetic GeometryCombinatorial Number TheoryFreiman's TheoremGlaisher's TheoremGreene-kleitman TheoremHales-jewett TheoremVan Der Waerden NumbersVan Der Waerden TheoryVan Der Waerden Type Problems
Abstract The van der Waerden number
4
A machine program for theorem-proving
Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text
A Computing Procedure for Quantification Theory
Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text
The van der Waerden Number<i>W</i>(2, 6) Is 1132
Michal Kouril, Jerome L. Paul · Experimental Mathematics · 2008 · 47 citations
Some new Van der Waerden numbers
Michael Beeler, Patrick E. O׳Neil · Discrete Mathematics · 1979 · 31 citations