On the discovery of mathematical theorems (1987)

by S Epstein
Venue:Proceedings of the 10th International Joint Conference on Artificial Intellignce