{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T02:30:21Z","timestamp":1774837821606,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540432876","type":"print"},{"value":"9783540458425","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45842-5_7","type":"book-chapter","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T20:00:38Z","timestamp":1180209638000},"page":"96-111","source":"Crossref","is-referenced-by-count":16,"title":["A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals"],"prefix":"10.1007","author":[{"given":"Herman","family":"Geuvers","sequence":"first","affiliation":[]},{"given":"Freek","family":"Wiedijk","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Zwanenburg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,14]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"E. Bishop and D. Bridges, Constructive Analysis, Number 279 in Grundlehren der mathematischen Wissenschaften. Springer, 1985.","DOI":"10.1007\/978-3-642-61667-9"},{"key":"7_CR2","unstructured":"L.E.J. Brouwer and B. de Loor, Intuitionistischer Beweis des Fundamentalsatzes der Algebra, in Proceedings of the KNAW, 27, pp. 186\u2013188, 1924."},{"key":"7_CR3","unstructured":"L.E.J. Brouwer, Intuitionistische Erg\u00e4nzung des Fundamentalsatzes der Algebra, in Proceedings of the KNAW, 27, pp. 631\u2013634, 1924."},{"key":"7_CR4","unstructured":"B. Dejon and P. Henrici, Editors, Constructive Aspects of the Fundamental Theorem of Algebra, Proceedings of a symposium at IBM Research Lab, Z\u00fcrich-R\u00fcschlikon, June 5\u20137, 1967, Wiley-Interscience, London."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"H.-D. Ebbinghaus et al. (eds.), Numbers, Springer, 1991, 395 pp.","DOI":"10.1007\/978-1-4612-1005-4"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"B. Fine and G. Rosenberger, The Fundamental Theorem of Algebra, Undergraduate Texts in Mathematics, Springer, 1997, xii+208 pp.","DOI":"10.1007\/978-1-4612-1928-6"},{"key":"7_CR7","unstructured":"H. Geuvers, F. Wiedijk, J. Zwanenburg, R. Pollack, M. Niqui, H. Barendregt, FTA project, http:\/\/www.cs.kun.nl\/gi\/projects\/fta\/ ."},{"key":"7_CR8","unstructured":"H. Geuvers, R. Pollack, F. Wiedijk, and J. Zwanenburg. The algebraic hierarchy of the FTA project, in Calculemus 2001 workshop proceedings, pp. 13\u201327, Siena, 2001."},{"key":"7_CR9","unstructured":"H. Geuvers, M. Niqui, Constructive Reals in Coq: Axioms and Categoricity, Types 2000 Workshop, Durham, UK, this volume."},{"key":"7_CR10","unstructured":"P. Henrici and I. Gargantini, Uniformly convergent algorithms for the simultaneous approximation of all zeros of a polynomial, in [4], pp. 77\u2013113."},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BF01181442","volume":"46","author":"H. Kneser","year":"1940","unstructured":"H. Kneser, Der Fundamentalsatz der Algebra und der Intuitionismus, Math. Zeitschrift, 46, 1940, pp. 287\u2013302.","journal-title":"Math. Zeitschrift"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BF01214206","volume":"177","author":"M. Kneser","year":"1981","unstructured":"M. Kneser, Erg\u00e4nzung zu einer Arbeit von Hellmuth Kneser \u00fcber den Fundamentalsatz der Algebra, Math. Zeitschrift, 177, 1981, pp. 285\u2013287.","journal-title":"Math. Zeitschrift"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1112\/jlms\/s1-16.2.95","volume":"16","author":"J.E. Littlewood","year":"1941","unstructured":"J.E. Littlewood, Every polynomial has a root, Journal of the London Math. Soc. 16, 1941, pp. 95\u201398.","journal-title":"Journal of the London Math. Soc."},{"key":"7_CR14","unstructured":"B. de Loor, Die Hoofstelling van die Algebra van Intu\u03cationistiese standpunt, Ph.D. Thesis, Univ. of Amsterdam, Netherlands, Feb. 1925, pp. 63 (South-African)."},{"key":"7_CR15","unstructured":"Helmut Schwichtenberg, Ein konstruktiver Beweis des Fundamentalsatzes, Appendix A (pp. 91\u201396) of Algebra, Lecture notes, Mathematisches Institut der Universit\u00e4t M\u00fcnchen 1998, http:\/\/www.mathematik.uni-muenchen.de\/schwicht\/lectures\/algebra\/ws98\/skript.ps"},{"key":"7_CR16","unstructured":"E. Specker, The Fundamental Theorem of Algebra in Recursive Analysis, in [4], pp. 321\u2013329."},{"key":"7_CR17","unstructured":"A. Troelstra and D. van Dalen, Constructivism in Mathematics, vols. 121 and 123 in Studies in Logic and The Found. of Math., North-Holland, 1988."},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/BF01188076","volume":"20","author":"H. Weyl","year":"1924","unstructured":"H. Weyl, Randbemerkungen zu Hauptproblemen der Mathematik, Math. Zeitschrift, 20, 1924, pp. 131\u2013150.","journal-title":"Math. Zeitschrift"}],"container-title":["Lecture Notes in Computer Science","Types for Proofs and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45842-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:02:57Z","timestamp":1556434977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45842-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540432876","9783540458425"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45842-5_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}