Effcient programming techniques for the SACLIB computer algebra library.

David Richardson

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

Keyphrases

computer algebra
theorem prover
programming language
computer algebra systems
programming environment
open source
programming course
automated theorem provers
information systems
website
case study
high level
training data
computer programming
programming education