Herman Geuvers, Freek Wiedijk, Jan Zwanenburg. A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals. In Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, editors, Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers. Volume 2277 of Lecture Notes in Computer Science, pages 96-111, Springer, 2000. [doi]
@inproceedings{GeuversWZ00,
title = {A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals},
author = {Herman Geuvers and Freek Wiedijk and Jan Zwanenburg},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/2277/22770096.htm},
tags = { algebra},
researchr = {https://researchr.org/publication/GeuversWZ00},
cites = {0},
citedby = {0},
pages = {96-111},
booktitle = {Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers},
editor = {Paul Callaghan and Zhaohui Luo and James McKinna and Robert Pollack},
volume = {2277},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43287-6},
}