TY  - RPRT
TI  - A fully automatic problem solver with human-style output
AU  - M. Ganesalingam
AU  - W. T. Gowers
PY  - 2013
UR  - https://arxiv.org/abs/1309.4501
ID  - 1309.4501
ER  -