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

DOI10.1016/J.JALGEBRA.2013.01.016MaRDI QIDQ375197zbMATH OpenOpenAlexFDO

Authors Cyril Cohen, Thierry Coquand

Publication date 28 October 2013

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/article/pii/S0021869313000422

zbMATH Keywords

fundamental theorem of algebraconstructive algebra

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10)

Recommendations

• scientific article; zbMATH DE number 17894
• STRICTLY REAL FUNDAMENTAL THEOREM OF ALGEBRA USING POLYNOMIAL INTERLACING
• A history of the mathematical invention. About the fundamental theorem of algebra in the frame of real analysis and complex analysis from Gauss to Liouville. Vol. II
• On Gauss's first proof of the fundamental theorem of algebra
• A history of imaginary mathematics. About the fundamental theorem of algebra and its proof by Laplace in 1795.

Cites work

• scientific article; zbMATH DE number 194102 (Why is no real title available?)
• scientific article; zbMATH DE number 3550698 (Why is no real title available?)
• Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises
• Essays in Constructive Mathematics
• On the history of the fundamental theorem of algebra: theory of equations and integral calculus
• The fundamental theorem of algebra: a constructive development without choice.
• Van Der Waerden's Construction of a Splitting Field

Cited in

(1)

• scientific article; zbMATH DE number 5652688 (Why is no real title available?)

This page was built for publication: A constructive version of Laplace's proof on the existence of complex roots

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q375197)