On the Discovery of Mathematical Theorems.

Susan L. Epstein

Browse the full IJCAI paper archive.