✦ LIBER ✦

Three Theorems, with Computer-Aided Proofs, on Three-Dimensional Faces and Quotients of Polytopes

✍ Scribed by Meisinger, G.; Kleinschmidt, P.; Kalai, G.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Software Package for Computer-Aided Desi

✍ S. V. Trepalin; A. N. Razdol'skii; O. A. Raevskii 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 50 KB

Discussions of computer aided experiment

✍ N Kasagi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 92 KB

System for computer aided design and fab

✍ Yu A. Maksin; V. I. Teleshevskii; P. V. Temnikov 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 165 KB

Reproducibility of transvaginal three-di

✍ A. Bordes; A. M. Bory; M. Benchaïb; R. C. Rudigoz; Prof. B. Salle 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 252 KB

Computer-aided detection of lung nodules

✍ Matsumoto, Sumiaki ;Ohno, Yoshiharu ;Yamagata, Hitoshi ;Takenaka, Daisuke ;Sugim 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 534 KB

Computer-aided detection of lung nodules

✍ Sumiaki Matsumoto; Yoshiharu Ohno; Hitoshi Yamagata; Daisuke Takenaka; Kazuro Su 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 162 KB