How to turn a scripting language into a domain specific language for computer algebra

Raphael Jolly Heinz Kredel

Published in: CoRR (2008)

Keyphrases

computer algebra
scripting language
open source
theorem prover
graphical user interfaces
windows nt
website
php and mysql
computer algebra systems
machine learning
decision making
case study
user interface
object oriented
first order logic