C++ class library for symbolic calculations - View it on GitHub