Login / Signup
Open source computer algebra systems: GAP.
David Joyner
Published in:
ACM Commun. Comput. Algebra (2009)
Keyphrases
</>
open source
computer algebra systems
computer algebra
theorem prover
open source software
theorem proving
software package
source code
case study
open source projects
neural network
multi agent systems
real time
learning environment
three dimensional
information systems
core components
social networks