Christian Bauer Alexander Frink Richard Kreckel Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language http://arxiv.org/abs/cs.SC/0004015 2000 CoRR cs.SC/0004015 db/journals/corr/corr0004.html#cs-SC-0004015