A constructive version of Laplace's proof on the existence of complex roots
Artikel i vetenskaplig tidskrift, 2013

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

Fundamental theorem of algebra

algebra

Constructive algebra

Författare

Cyril Cohen

Thierry Coquand

Göteborgs universitet

Journal of Algebra

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

Vol. 381 110-115

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1016/j.jalgebra.2013.01.016