Browsing Department of Pure Mathematics and Mathematical Statistics (DPMMS) by Subject "automated theorem proving"

Now showing items 1-1 of 1

  • A Fully Automatic Theorem Prover with Human-Style Output 

    Ganesalingam, M; Gowers, William Timothy (SpringerJournal of Automated Reasoning, 2016-06-11)
    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.