Computer algebra symbolic and algebraic computation.

Bruno Buchberger George E. Collins Rüdiger Loos R. Albrecht

Published in: SIGSAM Bull. (1982)

Keyphrases

computer algebra
computer algebra systems
theorem prover
efficiently computing
symbolic representation
linear algebra
machine learning
knowledge representation
genetic algorithm
image processing
artificial neural networks
inference rules
theorem proving