Long Proofs of (Seemingly) Simple Formulas.

Mladen Miksa Jakob Nordström

Published in: SAT (2014)

Keyphrases

information retrieval
computer vision
highly reliable
data mining
machine learning
database systems
expert systems
theorem prover
theorem proving
mathematical formulas