GiNaC (which stands for "GiNaC is Not a CAS (Computer Algebra System)") is a library for doing symbolic (i.e. non-numeric) computation directly in the C++ programming language. . This package provides header files, a static library plus a tutorial as info file. See for detailed information about GiNaC.