✦ LIBER ✦

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2277 || A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals

✍ Scribed by Callaghan, Paul; Luo, Zhaohui; McKinna, James; Pollack, Robert; Pollack, Robert

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Type

✍ Berardi, Stefano; Damiani, Ferruccio; de’Liguoro, Ugo 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 230 KB

[Lecture Notes in Computer Science] Func

✍ Ourselin, Sébastien; Rueckert, Daniel; Smith, Nicolas 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 281 KB