Login / Signup
The Maple Computer Algebra System.
Michael B. Monagan
Published in:
Comput. Sci. J. Moldova (1993)
Keyphrases
</>
computer algebra
computer algebra systems
theorem prover
artificial intelligence
automated theorem provers
expert systems
supervised learning
inference rules
theorem proving