jscl-meditor is a Java symbolic computing library and math editor. It includes polynomial system solving, vectors and matrices, factorization, derivatives, integrals (rational functions), boolean algebra, simplification, MathML output, Java code generation, and geometric algebra. (Source: http://freecode.com/)