Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: FABIO FONTES VILANOVA
DATA: 24/04/2015
HORA: 09:00
LOCAL: Sala de seminários do DMA
TÍTULO: Sistemas de Equações Polinomiais e Bases de Gröbner
PALAVRAS-CHAVES: Sudoku, Bases de Gröbner, Equações Polinomiais.
PÁGINAS: 57
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Matemática
RESUMO:
O objetivo principal desse trabalho é, usando bases de Gröbner, apresentar um método algébrico capaz de determinar a solução, quando existir, de sistemas de equações polinomiais não necessariamente lineares. Para tanto, necessitamos inicialmente apresentar alguns conceitos e teoremas ligados a anéis de polinômios com várias indeterminadas e de ideais monomiais, dentre os quais destacamos o algoritmo extendido da divisão, o teorema da Base de Hilbert e o algoritmo de Buchberger. Além disso, usando noções básicas da Teoria de eliminação e extensão, apresentamos uma solução algébrica para o problema da coloração de mapas usando três cores, bem como um solução geral para o puzzle Sudoku.