Browsing Department of Pure Mathematics and Mathematical Statistics (DPMMS) by Subject "ATP"
Now showing items 11 of 1

A Fully Automatic Theorem Prover with HumanStyle Output
(SpringerJournal of Automated Reasoning, 20160611)This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians.