Um Novo Olhar sobre o Teorema Fundamental da Álgebra

Nesta apresentação iremos focar uma aplicação duma formalização construtiva do Teorema Fundamental da Álgebra. Começaremos por discutir o interesse prático e teórico da área de formalização de matemática antes de apresentar pormenorizadamente uma demonstração construtiva do TFA. A análise do algoritmo implícito nesta prova será o ponto de partida para abordar o problema da extracção dum programa de computador a partir duma representação formal duma prova.