From MathWeb
GiNaC
Software in C++ for symbolic computation. See GiNaC.
Python interface
An interface to Python is available at swiginac.
Limitation
This is software designed and intended to work with the gcc compiler and not with other compilers. See comments in the FAQ.
Resources