Heinz Kredel Evaluation of a Java Computer Algebra System. 121-138 2007 ASCM http://dx.doi.org/10.1007/978-3-540-87827-8_10 conf/ascm/2007 db/conf/ascm/ascm2007.html#Kredel07