Login / Signup
Open source computer algebra systems: Axiom.
David Joyner
Published in:
ACM Commun. Comput. Algebra (2008)
Keyphrases
</>
open source
computer algebra systems
computer algebra
theorem prover
open source software
inference rules
source code
theorem proving
case study
open source projects
data sets
real time
software package
decision making
artificial intelligence
open standards
databases