@inproceedings{928672ecaee84284be4653f0343ee5c4,

title = "A constructive proof of the fundamental theorem of algebra without using the rationals",

author = "J.H. Geuvers and F. Wiedijk and J. Zwanenburg",

year = "2002",

language = "English",

isbn = "3-540-43287-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "96--111",

editor = "P. Callaghan and Z. Luo and J. McKinna and R. Pollack",

booktitle = "Types for Proofs and Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers)",

}