✦ LIBER ✦

GRAMY: A Geometry Theorem Prover Capable of Construction

✍ Scribed by Noboru Matsuda; Kurt VanLehn

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Parallelization of a Hyper-Linking–Based

✍ Chih-Hung Wu; Shie-Jue Lee 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 497 KB

An experiment with the Boyer-Moore theor

✍ David M. Russinoff 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 829 KB

Formalization of a Parameterized Paralle

✍ Chen, G. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 122 KB

A THEOREM OF SOLID GEOMETRY

✍ William E. Patten 📂 Article 📅 1908 🏛 School Science and Mathematics Association 🌐 English ⚖ 62 KB

The Use of Vectors to Eliminate Construc

✍ Herman Rosenberg 📂 Article 📅 1967 🏛 School Science and Mathematics Association 🌐 English ⚖ 68 KB

A LIST OF FUNDAMENTAL THEOREMS IN GEOMET

✍ Joseph A. Nyberg 📂 Article 📅 1941 🏛 School Science and Mathematics Association 🌐 English ⚖ 376 KB