First page Back Continue Last page Summary Graphic
Automated Discovery in Maths
Automatic Concept Formation in Pure Mathematics
Simon Colton, Alan Bundy
Toby Walsh
- University of Strathclyde (now York)
Proceedings of IJCAI-99, pages 786-791
Introduces the system HR
- named for Hardy & Ramunajan, famous mathematicians
Discovered novel mathematical concepts