✦ LIBER ✦

Automatic Discovery of Theorems in Elementary Geometry

✍ Scribed by T. Recio; M. P. Vélez

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Theorems in Elementary Geometry

✍ Ber, O. 📂 Article 📅 1890 🏛 Oxford University Press 🌐 English ⚖ 896 KB

Transcendental functions and mechanical

✍ Xiaoshan Gao 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 635 KB

A New Approach for Automatic Theorem Pro

✍ Andreas Dolzmann; Thomas Sturm; Volker Weispfenning 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 161 KB

Related Theorems in Geometry

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

Geometry in Elementary Schools

✍ H. J. Chase 📂 Article 📅 1908 🏛 The University of Chicago Press ⚖ 150 KB

The Measurement Theorems in Geometry

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