Everything's Bigger in Texas: "The Largest Math Proof Ever".

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