Automated and Human Proofs in General Mathematics: An Initial Comparison.

Jesse Alama Daniel Kühlwein Josef Urban

Published in: LPAR (2012)

Keyphrases

special case
semi automated
artificial intelligence
closely related
database
data mining
case study
learning environment
statistical analysis
human motion
fully automated
theorem prover
human operators
decision procedures
formal logic