Showing 1–1 of 1 results for author: Ganesalingam, M

A fully automatic problem solver with human-style output

Authors: M. Ganesalingam, W. T. Gowers

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. The program is part of a more general project, which we also discuss. 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. The program is part of a more general project, which we also discuss. △ Less

Submitted 17 September, 2013; originally announced September 2013.

Comments: 41 pages

ACM Class: I.2.3