Browsing by Subject "automated theorem proving"
Now showing items 1-2 of 2
-
A Fully Automatic Theorem Prover with Human-Style Output
(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.
-
Natural Language Based Inference Procedures Applied to Schubert's Steamroller
(1991-12-01)We have previously argued that the syntactic structure of natural language can be exploited to construct powerful polynomial time inference procedures. This paper supports the earlier arguments by demonstrating that a ...