Canonical Representations in Lisp and Applications to Computer Algebra systems.

Richard J. Fateman

Published in: ISSAC (1991)

Keyphrases

computer algebra systems
learning theory
computer algebra
invariant representations
higher level
programming language
knowledge representation
dependency directed backtracking
theorem prover
bayesian networks
information systems
machine learning
data sets
database
evolutionary algorithm
computer vision
real world