A constructive version of Laplace's proof on the existence of complex roots
Journal article, 2013
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-115Subject Categories
Computer and Information Science
DOI
10.1016/j.jalgebra.2013.01.016