Biblioteca para cálculos simbólicos em C++
