Open source computer algebra systems: SymPy.

David Joyner Ondrej Certík Aaron Meurer Brian E. Granger

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

Keyphrases

open source
computer algebra systems
computer algebra
theorem prover
open source software
source code
theorem proving
software package
case study
machine learning
open source projects
reinforcement learning
cooperative