Yacas

Yacas, como o próprio nome sugere, é um sistema para álgebra computacional (“yet another computer algebra system”, no original). Estão implementadas, entre outros: precisão arbitrário, aritmética racional, computação vetorial, complexa e matricial (incluindo inversas e determinantes e a solução de sistemas de equações) derivadas, séries de Taylor, soluções numéricas (método de Newton) e muitos outros algoritmos não matemáticos. A linguagem provê nativamente variáveis e funções definidas pelo usuário. Existe uma implementação básica para polinômios com uma variável, integração de funções e cálculo de tensores. Você pode obter Yacas em

    http://www.xs4all.nl/~apinkus/yacas.html