On van der Waerden's Theorem on Arithmetic Progressions.

Walter A. Deuber

Published in: J. Comb. Theory, Ser. A (1982)

Keyphrases

van der
von neumann
databases
arithmetic operations
social networks
feature vectors
floating point
interactive theorem proving