Hindman's theorem, ultrafilters, and reverse mathematics.

Jeffry L. Hirst

Published in: J. Symb. Log. (2004)

Keyphrases

computer science
machine learning
data mining
information retrieval
computer vision
case study
von neumann
search engine
social networks
image sequences
probabilistic model
middle school students
computer assisted learning
computer algebra