AXIOM: open source computer algebra system.

William S. Page

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

Keyphrases

computer algebra
open source
open source software
theorem prover
case study
source code
inference rules
computer algebra systems
software package
automated theorem provers
modal logic
high level
data mining
reinforcement learning