Automated Theory Formation for Tutoring Tasks in Pure Mathematics (2002)

by S Colton, R McCasland, A Bundy, T Walsh
Venue:In: Proceedings of the CADE'02 Workshop on the Role of Automated Deduction in Mathematics