A C++ library for symbolic mathematical calculations