Um Primeiro Contato com bases de Gröbner e suas Aplicações

Este livro apresenta ao leitor uma introdução à teoria de Bases de Gröbner e ilustra como tal ferramenta pode ser utilizada para abordar problemas expressos por equações polinomiais ou ideais de polinômios, como por exemplo:

1  Modelagem do controle de tráfego ferroviário;
2  Verificação de implicações no Cálculo Proposicional;
3  Coloração de mapas com certo número de cores;
4  Modelagem e completamento de sudoku;
5 Verificação de teoremas em Geometria Euclidiana;
6 Validação de construções realizadas com origami.

Objetivando um público amplo, cujo pré-requisito exigido não é mais do que o primeiro semestre de um curso de ciências exatas ou tecnológicas, introduzimos de modo sucinto os conteúdos necessários para o desenvolvimento da Teoria das Bases de Gröbner. As aplicações em variados temas visam fornecer um material de apoio aos interessados em tópicos de Álgebra  Comutativa, Geometria Algébrica, Teoria de Singularidades, Matemática Aplicada, entre outros.