Sign in
On Coherence in Computer Algebra.
Andreas Weber
Published in:
J. Symb. Comput. (1995)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
automated theorem provers
machine learning
knowledge base