✦ LIBER ✦

Grassmann algebras for proving a theorem on Pfaffians

✍ Scribed by Joseph Kahane

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Theorems on equalization and monomiality

✍ L. M. Tsybulya 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 260 KB

Analyst: A program package for proving i

✍ G. M. Kirsanov; G. E. Tseitlin; E. L. Yushchenko 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 589 KB

On the structure of a relatively free Gr

✍ A. V. Grishin; L. M. Tsybulya 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 760 KB

A theorem on infinite distributivity for

✍ F. M. Yaqub 📂 Article 📅 1986 🏛 Akadmiai Kiad 🌐 English ⚖ 199 KB

A parallel approach for theorem proving

✍ Chen Wen-Tsuen; Liu Lung-Lung 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 948 KB

M-calculus — a sequent method for automa

✍ A. V. Mantsivoda 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 496 KB