A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Herman Geuvers' in GoogleIdentified as Freek Wiedijk This author has not been identified. Look up 'Jan Zwanenburg' in Google

runs on WebDSL