A proof of the Cameron-Ku conjecture.

Published in: J. Lond. Math. Soc. (2012)

Keyphrases

theorem proving
real time
information retrieval
preprocessing
theorem prover
geometry theorem proving
artificial intelligence
special case
probabilistic model
linear logic
proof search