MATHsAiD: A Mathematical Theorem Discovery Tool.

Roy L. McCasland Alan Bundy

Published in: SYNASC (2006)

Keyphrases

data sets
special case
databases
learning algorithm
computer vision
web pages
e learning
knowledge discovery
pattern discovery
scientific discovery