GiNaC - Symbolic computation with C++
  We give an introduction to the C++ library GiNaC, which extends the C++ language by new objects and methods for the representation and manipulation of arbitrary symbolic expressions. 
Jens Vollinga