C++ library for symbolic computations - View it on GitHub