A Rewrite-Based Type Discipline for a Subset of Computer Algebra.

Hubert Comon Denis Lugiez Philippe Schnoebelen

Published in: J. Symb. Comput. (1991)

Keyphrases

computer algebra
information systems
theorem prover
neural network
machine learning
artificial intelligence
image processing
case study
training set
classification accuracy
computer algebra systems