A Simple Proof and Some Difficult Examples for Hindman's Theorem.

Published in: Notre Dame J. Formal Log. (2012)

Keyphrases

theorem proving
real time
databases
data sets
neural network
information systems
lower bound
training examples
highly reliable
provably correct
interactive theorem proving