A Short Proof of Hindman's Theorem.

James E. Baumgartner

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

Keyphrases

interactive theorem proving
linear logic
real time
data sets
mathematical proofs
machine learning
databases
learning algorithm
information systems
image processing
lower bound
knowledge representation
theorem prover
digital topology
proof search
proof planning
neural network
geometry theorem proving