Agradeço ao meu orientador Prof. Fernando T. C. Brandt que me acolheu desde o primeiro dia que pisei em São Paulo, agradeço-lhe pelo tempo que dedicou para me ensinar e pela sua atenção comigo nos bons momentos que podemos compartilhar até esse fatídico ano. Também preciso agradecer por todos os códigos-fonte que compartilhou comigo que só não me ajudaram muito no aprendizado de computação simbólica, mas também na realização desse trabalho.Quero agradecer também ao Prof. D. G. C. McKeon e ao Prof. Josif Frenkel pelas colaborações que resultaram neste trabalho. Com a ajuda de vocês três cresci muito esse ano e foi uma grande honra estar junto com vocês fazendo o que eu mais gosto. Many thanks, Gerry! Em especial, agradeço ao Prof. Frenkel que faz cada aula de eletrodinâmica parecer uma aula magna com sua sensibilidade e intuição física; e claro com alguma anedota interessadíssima... fazendo com que eu não faltasse (tantas) aulas.Agradeço ao meu amigo, ex-colega do laboratório de informática na UFSC, Rômulo, cujas conversas, sobre os mais variados assuntos, me ajudaram imensamente nos piores e melhores momentos desses últimos anos. Além disso, o apoio e ajuda ao escrever essa dissertação. Agradeço também a minha colega Xirliane do IFUSP por breves, mas profundas, conversas que pudemos ter sobre nossos estudos.Por todo suporte durante esse mestrado, agradeço ao pessoal da secretaria da pós do IFUSP, em especial à Andrea e ao Éber pela paciência.Finalmente, agradeço a minha mãe, Solange, que me mostrou que eu era mais forte quando eu achei que não poderia mais continuar. Cujo suporte foi essencial, permitindo eu estar aqui escrevendo esses mesmos agradecimentos. Agradeço também aos meus irmãos, Suellen e Daniel, e ao meus sobrinhos, Beatriz e Davi, que sempre me ensinam a ser um ser humano melhor.Quero agradecer também as minhas queridas colegas, Jaque e Cássia, que me incentivaram a continuar seguindo meus sonhos. À CAPES agradeço o auxílio financeiro necessário para realizar um desses sonhos.O presente trabalho foi realizado com apoio da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior -Brasil (CAPES) -Código de Financiamento 001.