✦ LIBER ✦

An Application of CLP: Checking the Correctness of Theorems in Geometry

✍ Scribed by Denis Bouhineau; Laurent Trilling; Jacques Cohen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

GENERALIZATION AND APPLICATION OF THEORE

✍ Philip Fitch 📂 Article 📅 1913 🏛 School Science and Mathematics Association 🌐 English ⚖ 60 KB

An Application of the Parrott's Theorem

✍ Aleksej Turnšek 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 93 KB

The Measurement Theorems in Geometry

✍ George W. Evans 📂 Article 📅 1905 🏛 The University of Chicago Press ⚖ 186 KB

Related Theorems in Geometry

✍ Geo. W. Evans 📂 Article 📅 1899 🏛 The University of Chicago Press ⚖ 229 KB

A theorem in linear algebra with applica

✍ Mario Taboada 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 459 KB

On an application of Hall's representati

✍ K. Kołodziejczyk; Z. Romanowicz 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 364 KB