A Constructive Proof of the Fundamental Theorem of Algebra without using the Rationals. Geuvers, H., Wiedijk, F., & Zwanenburg, J. In Callaghan, P., Luo, Z., McKinna, J., & Pollack, R., editors, Types for Proofs and Programs, Proceedings of the International Workshop, TYPES 2000, Durham, volume 2277, of Lecture Notes in Computer Science, pages 96–111, 2001. Springer.
![A Constructive Proof of the Fundamental Theorem of Algebra without using the Rationals [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{freek2001b,
Author = {Herman Geuvers and Freek Wiedijk and J. Zwanenburg},
Booktitle = {Types for Proofs and Programs, Proceedings of the International Workshop, TYPES 2000, Durham},
Date-Added = {2014-11-15 22:27:28 +0000},
Date-Modified = {2014-11-15 22:40:00 +0000},
Editor = {Paul Callaghan and Zhaohui Luo and James McKinna and Robert Pollack},
Pages = {96--111},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {A Constructive Proof of the Fundamental Theorem of Algebra without using the Rationals},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/kneser.pdf},
Volume = {2277},
Year = {2001}}Downloads: 0
{"_id":"JLMecGoLiCBw4nZNr","bibbaseid":"geuvers-wiedijk-zwanenburg-aconstructiveproofofthefundamentaltheoremofalgebrawithoutusingtherationals-2001","author_short":["Geuvers, H.","Wiedijk, F.","Zwanenburg, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Herman"],"propositions":[],"lastnames":["Geuvers"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Zwanenburg"],"suffixes":[]}],"booktitle":"Types for Proofs and Programs, Proceedings of the International Workshop, TYPES 2000, Durham","date-added":"2014-11-15 22:27:28 +0000","date-modified":"2014-11-15 22:40:00 +0000","editor":[{"firstnames":["Paul"],"propositions":[],"lastnames":["Callaghan"],"suffixes":[]},{"firstnames":["Zhaohui"],"propositions":[],"lastnames":["Luo"],"suffixes":[]},{"firstnames":["James"],"propositions":[],"lastnames":["McKinna"],"suffixes":[]},{"firstnames":["Robert"],"propositions":[],"lastnames":["Pollack"],"suffixes":[]}],"pages":"96–111","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"A Constructive Proof of the Fundamental Theorem of Algebra without using the Rationals","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/kneser.pdf","volume":"2277","year":"2001","bibtex":"@inproceedings{freek2001b,\n\tAuthor = {Herman Geuvers and Freek Wiedijk and J. Zwanenburg},\n\tBooktitle = {Types for Proofs and Programs, Proceedings of the International Workshop, TYPES 2000, Durham},\n\tDate-Added = {2014-11-15 22:27:28 +0000},\n\tDate-Modified = {2014-11-15 22:40:00 +0000},\n\tEditor = {Paul Callaghan and Zhaohui Luo and James McKinna and Robert Pollack},\n\tPages = {96--111},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Computer Science},\n\tTitle = {A Constructive Proof of the Fundamental Theorem of Algebra without using the Rationals},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/kneser.pdf},\n\tVolume = {2277},\n\tYear = {2001}}\n\n","author_short":["Geuvers, H.","Wiedijk, F.","Zwanenburg, J."],"editor_short":["Callaghan, P.","Luo, Z.","McKinna, J.","Pollack, R."],"key":"freek2001b","id":"freek2001b","bibbaseid":"geuvers-wiedijk-zwanenburg-aconstructiveproofofthefundamentaltheoremofalgebrawithoutusingtherationals-2001","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/kneser.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["constructive","proof","fundamental","theorem","algebra","without","using","rationals","geuvers","wiedijk","zwanenburg"],"title":"A Constructive Proof of the Fundamental Theorem of Algebra without using the Rationals","year":2001}