Ways to implement computer algebra compactly.

David R. Stoutemyer

Published in: ACM Commun. Comput. Algebra (2011)

Keyphrases

computer algebra
theorem prover
computer algebra systems
special case
management system
automated theorem provers
database
machine learning
learning algorithm
image processing
multi agent
data structure