Computer algebra in modern functional languages

• Ano de defesa: 2007
• Autor(a) principal: Malaquias, José Romildo
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Uberlândia; BR; Programa de Pós-graduação em Engenharia Elétrica; Engenharias; UFU
• Palavras-chave em Português: Programação funcional (Computação); Inteligência Artificial; Computação Algébrica; Linguagens Funcionais; Programação Funcional; Haskell; Artificial Intelligence; Computer Algebra; Functional Languages; Functional Programming; CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
• Link de acesso: https://repositorio.ufu.br/handle/123456789/14370

Many computer algebra systems have already been proposed and implemented. Most of them are implemented in or even implement languages without the referential transparency property, making it difficult, if not impractical, to reason about algebra programs. This thesis presents a computer algebra system implemented as a library in the Haskell programming language, a modern functional language with the desired referential transparency property. The author presents the foundations and basic algorithms for manipulation of algebraic expressions in a declarative context, compatible with Mathematics. The adequacy of the constructs provided by the Haskell programming language is considered when implementing such a library in a modular way, so that it can be easily extended with the inclusion of new algebraic formulas and manipulations. Such extensions should keep compatibility with prior versions of the library. This work also contributes for showing that modern functional languages like Haskell are viable for day to day programming, even beating conventional languages in some aspects, like level of abstraction.