✦ LIBER ✦

An integral theorem prover and the role of proof planning

✍ Scribed by James D. Baker; Shahriar Zand-Biglari

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An experiment with the Boyer-Moore theor

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

An elementary proof of the prime ideal t

✍ Harold N. Shapiro 📂 Article 📅 1949 🏛 John Wiley and Sons 🌐 English ⚖ 401 KB

An algorithmic proof of the polyhedral d

✍ Mustafa Akgül 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 504 KB

The Fundamental Theorem of Algebra: An E

✍ Oswaldo Rio Branco de Oliveira 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 English ⚖ 298 KB

An Easy Proof of the Askey–Wilson Integr

✍ Douglas Bowman 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 85 KB

An operational proof of the wave-potenti

✍ Stuart Ballantine 📂 Article 📅 1936 🏛 Elsevier Science 🌐 English ⚖ 820 KB