Trabalho de conclusão de graduação
Biblioteca do axiom para encontrar campos de retas invariantes por grupos infinitos
Autor
Ferreira, Filipe Ramos
Institución
Resumen
Formas diferenciais são um objeto matemático que possui as mais diversas aplicações em geometria, topologia e física. Este trabalho, utilizando-se do paradigma de Literate Programming, implementou uma biblioteca para o sistema Axiom com o objetivo de auxiliar a encontrar 1-formas invariantes por grupos de transformações lineares.