Login / Signup
A knowledge-based system for computer algebra.
Jacques Calmet
Denis Lugiez
Published in:
SIGSAM Bull. (1987)
Keyphrases
</>
computer algebra
theorem prover
automated theorem provers
training set