Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof.

Luís Cruz-Filipe Peter Schneider-Kamp

Published in: CoRR (2015)

Keyphrases

computer generated
real world
linear logic
learning algorithm
real life
theorem prover
mathematical proofs
artificial intelligence
website
three dimensional
natural images
photographic images