Sign in
Everything's Bigger in Texas: "The Largest Math Proof Ever".
Marijn Heule
Published in:
GCAI (2017)
Keyphrases
</>
theorem prover
linear logic
databases
natural deduction
mathematical problem solving
tutoring system
theorem proving
database
clustering algorithm
image segmentation
image sequences
automated theorem proving
mathematical proofs