Sign in
A Combinatorial Proof of Kneser's Conjecture.
Jirí Matousek
Published in:
Comb. (2004)
Keyphrases
</>
language model
probabilistic model
computer vision
theorem proving
machine learning
mathematical proofs
information systems
multi agent
preprocessing
linear logic
proof planning