✦ LIBER ✦

An experiment with the Boyer-Moore theorem prover: A proof of Wilson's theorem

✍ Scribed by David M. Russinoff

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An extension of the Boyer-Moore Theorem

✍ Matt Kaufmann 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 868 KB

An integral theorem prover and the role

✍ James D. Baker; Shahriar Zand-Biglari 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 762 KB

An algorithmic proof of a generalization

✍ J.L Lewandowski; C.L Liu; J.W.S Liu 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 340 KB

An elementary proof of the Petersson-Kno

✍ Larry A. Goldberg 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 64 KB

An elementary proof of a theorem of Erdö

✍ Robert E. Dressler 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 201 KB

A note on an alternative proof of the re

✍ A. Ducamp 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 238 KB