An Overview of a Formal Framework for Managing Mathematics.

William M. Farmer Martin von Mohrenschildt

Published in: Ann. Math. Artif. Intell. (2003)

Keyphrases

main contribution
computational framework
computer vision
metadata
computer science
probabilistic model
data sets
neural network
information retrieval
theoretical framework
framework enables