Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language. - Christian Bauer 009; Alexander Frink; Richard Kreckel (J. Symb. Comput., 2002)