✦ LIBER ✦

Interval Computations Help in Proving the Kepler Conjecture

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Double bubble minimizes: Interval comput

✍ Vladik Kreinovich 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 171 KB

kepler’s conjecture: How some of the gre

✍ George G. Szpiro; Karl Sigmund 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 258 KB

A new lower bound for the total dominati

✍ Henning, Michael A.; Yeo, Anders 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 395 KB

THE USE OF INTEGRATORS HELPS COMPUTING T

✍ C. MONNET 📂 Article 📅 1956 🏛 John Wiley and Sons 🌐 English ⚖ 1019 KB

Using a computer to obtain Chebotarev bo

✍ A. K. Andriyasyan; I. V. Il'in; A. V. Malyshev 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 675 KB

[Lecture Notes in Computer Science] Stud

✍ Goldreich, Oded 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 152 KB