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

DOI10.1016/j.jalgebra.2013.01.016zbMath1322.03044OpenAlexW2084660818MaRDI QIDQ375197

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

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

Cites Work

• On the history of the fundamental theorem of algebra: theory of equations and integral calculus
• Essays in Constructive Mathematics
• Van Der Waerden's Construction of a Splitting Field
• The fundamental theorem of algebra: a constructive development without choice.
• Unnamed Item
• Unnamed Item
• Unnamed Item

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