Evaluation of a Java Computer Algebra System.

Published in: ASCM (2007)

Keyphrases

computer algebra
general purpose
programming language
theorem prover
data mining
open source
source code
lightweight
neural network
high level
knowledge representation
evaluation method
gold standard
evaluation process