AUTOMATED DISCOVERY OF MATHEMATICS

Bundy, Alan (Principal Investigator)
Colton, Simon (Co-Investigator (External))
Smith, Patrick (Co-Investigator (External))

School of Informatics

2 Article
1 Conference contribution
1 Chapter (peer-reviewed)

1 results

Filter

2006
MATHsAiD: A Mathematical Theorem Discovery Tool
McCasland, R. L. & Bundy, A., 2006, Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on. Institute of Electrical and Electronics Engineers, p. 17-22 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

File