✦ LIBER ✦

A new theorem discovered by computer prover

✍ Scribed by Dongming Wang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A New Algebraic Tool for Automatic Theor

✍ P. Cordero; G. Gutiérrez; J. Martínez; I.P. de Guzmán 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 238 KB

A new fossil ctenophore discovered by X-

✍ Stanley, George D.; Stürmer, Wilhelm 📂 Article 📅 1987 🏛 Nature Publishing Group 🌐 English ⚖ 471 KB

A new effect at first-order phase transi

✍ N.J. Sze; G.T. Meaden 📂 Article 📅 1971 🏛 Elsevier Science 🌐 English ⚖ 153 KB

A new element accompanying zirconium, di

📂 Article 📅 1869 🏛 Elsevier Science 🌐 English ⚖ 472 KB

A new proof of the theorem by Fleischner

✍ Stanislav Řiha 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 568 KB

Account of a new method of projecting sh

📂 Article 📅 1829 🏛 Elsevier Science 🌐 English ⚖ 203 KB