Edinburgh Research Explorer

MATHsAiD: A Mathematical Theorem Discovery Tool

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

MATHsAiD: A Mathematical Theorem Discovery Tool. / McCasland, R.L.; Bundy, A.

Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on. Institute of Electrical and Electronics Engineers (IEEE), 2006. p. 17-22.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

McCasland, RL & Bundy, A 2006, MATHsAiD: A Mathematical Theorem Discovery Tool. in Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on. Institute of Electrical and Electronics Engineers (IEEE), pp. 17-22. DOI: 10.1109/SYNASC.2006.51

APA

McCasland, R. L., & Bundy, A. (2006). MATHsAiD: A Mathematical Theorem Discovery Tool. In Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on (pp. 17-22). Institute of Electrical and Electronics Engineers (IEEE). DOI: 10.1109/SYNASC.2006.51

Vancouver

McCasland RL, Bundy A. MATHsAiD: A Mathematical Theorem Discovery Tool. In Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on. Institute of Electrical and Electronics Engineers (IEEE). 2006. p. 17-22. Available from, DOI: 10.1109/SYNASC.2006.51

Author

McCasland, R.L. ; Bundy, A./ MATHsAiD: A Mathematical Theorem Discovery Tool. Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on. Institute of Electrical and Electronics Engineers (IEEE), 2006. pp. 17-22