most citedA fully automatic problem solver with human-style output

16 citations · 16 across the 1 of their papers we have counts for

collaborators

1 paper

cs.AI2013★ 16 cited

A fully automatic problem solver with human-style output

M. Ganesalingam, W. T. Gowers

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…