Java Algebra System (JAS) http://krum.rz.uni-mannheim.de/jas/