Towards the Automatic Mathematician.

Markus N. Rabe, Christian Szegedy

Browse the full CADE paper archive.