✦ LIBER ✦

A constructive version of Laplaceʼs proof on the existence of complex roots

✍ Scribed by Cohen, Cyril; Coquand, Thierry

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Constructive Proof of the Existence of

✍ Lember, J.; Koloydenko, A.A. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 416 KB

Constructive proof on the existence of p

✍ Weiguo Li; Zuhe Shen 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 262 KB

A Non-constructive Elementary Proof of t

✍ Marilda Sotomayor 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 41 KB

A multilinear algebra proof of the Cauch

✍ Konstantopoulos, Takis 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 216 KB

On a Constructive Proof of Kolmogorov’s

✍ Jürgen Braun; Michael Griebel 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 625 KB

A note on two Erdősʼs proofs of the infi

✍ Meštrović, Romeo 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 190 KB