A constructive version of Laplace's proof on the existence of complex roots
Journal article, 2013

We present a constructive analysis of Laplace's proof that the field of complex numbers is

Fundamental theorem of algebra

algebra

Constructive algebra

Author

Cyril Cohen

Thierry Coquand

University of Gothenburg

Journal of Algebra

0021-8693 (ISSN) 1090-266X (eISSN)

Vol. 381 1 110-115

Subject Categories

Computer and Information Science

DOI

10.1016/j.jalgebra.2013.01.016

More information

Created

10/10/2017