Ascertaining Mathematical Theorems. - Roy L. McCasland; Alan Bundy; Patrick F. Smith (Calculemus, 2005)

MATHsAiD: Automated mathematical theory exploration. - Roy L. McCasland; Alan Bundy; Patrick F. Smith (Appl. Intell., 2017)