A Note on van der Waerden's Theorem.

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

Keyphrases

van der
von neumann
viewpoint
computer vision
interactive theorem proving
machine learning
social networks
image sequences
search algorithm
multiresolution
data model
color images