Séminaires : Géométrie et Théorie des Modèles

Equipe(s) : lm,
Responsables :Zoé Chatzidakis, Raf Cluckers, Silvain Rideau.
Email des responsables : zoe.chatzidakis@imj-prg.fr
Salle :
Adresse :ENS
Description

http://gtm.imj-prg.fr/

 

Pour recevoir le programme par e-mail, écrivez à : zchatzid_at_dma.ens.fr.Retour ligne automatique
Pour les personnes ne connaissant pas du tout de théorie des modèles, des notes introduisant les notions de base (formules, ensembles définissables, théorème de compacité, etc.) sont disponibles ici : http://www.logique.jussieu.fr/~zoe/papiers/MTluminy.dvi. Ces personnes peuvent aussi consulter les premiers chapitres du livre Model Theory and Algebraic Geometry, E. Bouscaren ed., Springer Verlag, Lecture Notes in Mathematics 1696, Berlin 1998.Retour ligne automatique
Les notes de quelques-uns des exposés sont disponibles.


Orateur(s) Marie Françoise Roy - Rennes I,
Titre Quantitative Fundamental Theorem of Algebra
Date31/01/2020
Horaire14:15 à 15:45
Diffusion
Résume

Using subresultants, we modify a recent real-algebraic proof due to Eisermann of the Fundamental Theorem of Algebra ([FTA]) to obtain the following quantitative information: in order to prove the [FTA] for polynomials of degree d, the Intermediate Value Theorem ([IVT]) is requested to hold for real polynomials of degree at most d^2. We also explain that the classical algebraic proof due to Laplace requires [IVT] for real polynomials of exponential degree. These quantitative results highlight the difference in nature of these two proofs.

Salle
AdresseENS
© IMJ-PRG