Not seeing the roots for the branches: multivalued functions in computer algebra.

David J. Jeffrey Arthur C. Norman

Published in: SIGSAM Bull. (2004)

Keyphrases

computer algebra
theorem prover
neural network
data mining
three dimensional
training data
video sequences
artificial neural networks
search space
graphical models
soft constraints