Patrick F. Smith

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 1

Top Topics

Uncertain Information

Mathematical Theory

Top Venues

Publications

Roy L. McCasland, Alan Bundy, Patrick F. Smith
MATHsAiD: Automated mathematical theory exploration. Appl. Intell. 47 (3) (2017)
Roy L. McCasland, Alan Bundy, Patrick F. Smith
Ascertaining Mathematical Theorems. Calculemus (2005)