Algebra, Logic and Topology

 

Latest News
The web page of CMUC moved to http://cmuc.mat.uc.pt

 
   

Members

Seminars

Events

Publications

 
 

details

Title
A New Look at the Fundamental Theorem of Algebra

Abstract
In this talk we will explore one application of a constructive formalization of the Fundamental Theorem of Algebra. We begin by discussing the theoretical and practical interest of formalizing mathematics, before a constructive proof of the FTA is presented in detail. Then we look at the algorithm implicit in this proof to focus on the problem of extracting the corresponding computer program from a computer representation of the proof.

Speaker(s)
Luís Cruz-Filipe
(Centro de Lógica e Computação, IST, Lisboa)

Date
January 20, 2004

Time
14.30

Room
5.5

 
     
 

CMUC
Apartado 3008,
3001 - 454 Coimbra, Portugal
T:+351 239 791 150
F:+351 239 793 069
cmuc@mat.uc.pt
-
developed by Flor de Utopia