✦ LIBER ✦

A procedure to prove statements in differential geometry

✍ Scribed by Giuseppa Carrà Ferro; Giovanni Gallo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An extension of a procedure to prove sta

✍ Giuseppa Carra' Ferro 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 569 KB

Mechanical theorem proving in differenti

✍ Hongbo Li 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 292 KB

Mechanical theorem proving of differenti

✍ Wu Wen-Tsun 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 954 KB

An approach to a systematic theorem prov

✍ W. Bibel 📂 Article 📅 1974 🏛 Springer Vienna 🌐 English ⚖ 860 KB

Symmetries in Differential Geometry: a C

✍ Thomas Branson; Alfredo Villanueva 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 419 KB

Some models in differential geometry

✍ A. M. Nikitin 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 832 KB