adicionado exemplos do uso de bilbiotecas de computação simbólica, GiNaC e muParser