A quintessential proof of van der Waerden's theorem on arithmetic progressions.

Published in: Discret. Math. (1983)

Keyphrases

van der
interactive theorem proving
linear logic
arithmetic operations
floating point
data sets
von neumann
theorem prover
image processing
database
sufficient conditions
expert systems
multi agent systems
image segmentation
artificial intelligence
genetic algorithm
mathematical proofs