Data e horário: 15/09, 2a feira,  18:00 às 19:00h

Local: Auditórios Centro Cultural e 12o andar

Chair: Carlile Lavor

Título: Um Primeiro Contato com Bases de Gröbner e suas Aplicações

Resumo: Em meados dos anos 1960, Bruno Buchberger introduziu o conceito de Bases de Gröbner para ideais polinomiais e o utilizou para apresentar um método efetivo para decidir se um polinômio pertence a um ideal, bem como para resolver sistemas de equações polinomiais. Desde então, o algoritmo de Buchberger tem se mostrado útil em Álgebra Comutativa e Geometria Algébrica para a manipulação de ideais, cálculo de codimensões, etc.  

Nesta palestra, apresentaremos os conceitos que permitem compreender o algoritmo de Buchberger e ilustramos como podemos modelar algebricamente questões variadas envolvendo o cálculo proposicional, tráfego ferroviário, coloração de mapas,  resolução de Sudokus, validação de origamis, e outras situações, de modo a obter respostas por meio de tal algoritmo.