| dc.creator | Ganesalingam, M | |
| dc.creator | Gowers, William Timothy | |
| dc.date.accessioned | 2016-06-01 | |
| dc.date.accessioned | 2018-11-24T23:26:48Z | |
| dc.date.available | 2016-06-27T14:17:28Z | |
| dc.date.available | 2018-11-24T23:26:48Z | |
| dc.date.issued | 2016-06-11 | |
| dc.identifier | https://www.repository.cam.ac.uk/handle/1810/256497 | |
| dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/123456789/3889 | |
| dc.description.abstract | 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. | |
| dc.language | en | |
| dc.publisher | Springer | |
| dc.publisher | Journal of Automated Reasoning | |
| dc.rights | http://creativecommons.org/licenses/by/4.0/ | |
| dc.rights | http://creativecommons.org/licenses/by/4.0/ | |
| dc.rights | http://creativecommons.org/licenses/by/4.0/ | |
| dc.rights | Attribution 4.0 International | |
| dc.rights | Attribution 4.0 International | |
| dc.rights | Attribution 4.0 International | |
| dc.subject | ATP | |
| dc.subject | automated theorem proving | |
| dc.subject | human-oriented | |
| dc.subject | human-oriented theorem proving | |
| dc.subject | human-like output | |
| dc.title | A Fully Automatic Theorem Prover with Human-Style Output | |
| dc.type | Article | |
