A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals

Authors: Herman Geuvers
Freek Wiedijk
Jan Zwanenburg
Published in:
· Proceeding
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
Pages 96-111

December 08 - 12, 2000
Springer-Verlag Berlin, Heidelberg ©2002
table of contents ISBN:3-540-43287-6
A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals 2000 Article
Bibliometrics Data  Bibliometrics
· Citation Count: 9
· Downloads (cumulative): n/a
· Downloads (12 Months): n/a
· Downloads (6 Weeks): n/a


Tools and Resources

Share:

|
Contact The DL Team Contact Us | Switch to single page view (no tabs)

Powered by The ACM Guide to Computing Literature


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2019 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us