MATHsAiD: a mathematical theorem discovery tool (2006)

by R McCasland, A Bundy
Venue:In Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing