GiNaC (which stands for "GiNaC is Not a CAS (Computer Algebra System)") is an open framework for symbolic computation within the C++ programming language. Published under the GPL.
Citation:
@misc{ginac, title ="GiNaC is Not a CAS" }