A constructive version of Laplace's proof on the existence of complex roots

Abstract : Laplace presented an algebraic proof of the fundamental theorem of algebra which relied on the existence of a splitting field. This proof can be generalized by replacing real numbers by any real closed field. Although it is possible to build a splitting field in a classical context, it is not true anymore in an constructive context. We present a constructive version of Laplace's proof as the result of a general method to make constructive sense of the notion of splitting fields.
Type de document :
Article dans une revue
Journal of Algebra, Elsevier, 2013, 381, pp.110-115. 〈10.1016/j.jalgebra.2013.01.016〉
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00592284
Contributeur : Cyril Cohen <>
Soumis le : vendredi 22 mars 2013 - 21:47:09
Dernière modification le : vendredi 24 novembre 2017 - 13:44:02
Document(s) archivé(s) le : dimanche 2 avril 2017 - 18:54:57

Fichier

laplace1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Cyril Cohen, Thierry Coquand. A constructive version of Laplace's proof on the existence of complex roots. Journal of Algebra, Elsevier, 2013, 381, pp.110-115. 〈10.1016/j.jalgebra.2013.01.016〉. 〈inria-00592284v2〉

Partager

Métriques

Consultations de la notice

328

Téléchargements de fichiers

284