MATHsAiD: Automated mathematical theory exploration.

Roy L. McCasland Alan Bundy Patrick F. Smith

Published in: Appl. Intell. (2017)

Keyphrases

mathematical theory
primal sketch
general theory
image processing
mathematical models
machine learning
multiscale
object oriented
computational model
uncertain information
multi agent