MATHsAiD: a mathematical theorem discovery tool (2006)

by R McCasland, A Bundy
Venue:In SYNASC’06