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

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?)
• Title not available (Why is that?)
• Essays in Constructive Mathematics
• 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)