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 1Modelagem do controle de tráfego ferroviário 2Verificação de implicações no Cálculo Proposicional 3Coloração de mapas com certo número de cores 4Modelagem 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 ÁlgebraComutativa, Geometria Algébrica, Teoria de Singularidades, Matemática Aplicada, entre outros. .