Tags: analysis, ODE, numerical methods.
Homepage: http://www.jens-langner.de/dessolver/
Tags: algebra, computer algebra system, analysis.
Homepage: http://fricas.sourceforge.net/
Tags: analysis, differential geometry, tensor analysis, library.
Homepage: http://www.oonumerics.org/FTensor/
Tags: algebra, linear algebra, library, analysis, ODE, special functions, numerical methods.
Homepage: http://www.math.tu-berlin.de/jtem/
Tags: algebra, analysis, differential algebra, algebraic analysis.
Homepage: http://www.math.kobe-u.ac.jp/KAN/
Tags: algebra, analysis, statistics.
Homepage: http://fredomatic.free.fr/
Tags: analysis, arbitrary precision, special functions, library.
Homepage: http://mpfr.org/
Tags: algebra, computer algebra system, analysis, differential algebra, algebraic analysis.
Homepage: http://www.math.kobe-u.ac.jp/OpenXM/
Tags: algebra, linear algebra, analysis, PDE, parallel computing, library.
Tags: algebra, group theory, computer algebra system, analysis, number theory, cryptography, arithmetic, arbitrary precision, discrete mathematics, combinatorics.
Homepage: http://www.sagemath.org/
Tags: analysis, numerical methods.
Homepage: http://sode.sourceforge.net/
Tags: algebra, computer algebra system, analysis, library.
Homepage: http://code.google.com/p/sympy/
Tags: analysis, differential geometry, tensor analysis.
Homepage: http://www.ava.fmi.fi/prog/tela.html
Tags: education, analysis.