An Existence Lemma for Canonical Forms in Symbolic Mathematics.

B. F. Caviness P. L. Pollack C. M. Rubald

Published in: Inf. Process. Lett. (1971)

Keyphrases

computer algebra systems
symbolic representation
artificial intelligence
image processing
data structure
computer science
complementarity problems
connectionist systems
neural network
computer vision
e learning
high level
bayesian networks
electrical engineering
symbolic description
fixed point theorem