Login / Signup
A combinatorial proof of the Dense Hindman's Theorem.
Henry Towsner
Published in:
Discret. Math. (2011)
Keyphrases
</>
interactive theorem proving
theorem prover
mathematical proofs
stereo correspondence
theorem proving
data sets
von neumann
dense optical flow
real time
information systems
decision trees
search algorithm
database
artificial intelligence
databases
scene flow
proof planning