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

DOI10.1016/J.JALGEBRA.2013.01.016zbMATH Open1322.03044OpenAlexW2084660818MaRDI QIDQ375197FDOQ375197

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Essays in Constructive Mathematics
• Title not available (Why is that?)
• On the history of the fundamental theorem of algebra: theory of equations and integral calculus
• Van Der Waerden's Construction of a Splitting Field
• The fundamental theorem of algebra: a constructive development without choice.

Cited In (1)

• Title not available (Why is that?)

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)