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

Jesse Alama, Daniel Khlwein, Josef Urban

Browse the full LPAR paper archive.