✦ LIBER ✦

Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving

✍ Scribed by Ning Zhang; Hong-bo Li

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mechanical theorem proving of differenti

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

Invariance Theorems in Approximation The

✍ Michael I. Ganzburg 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 352 KB

[Lecture Notes in Computer Science] Theo

✍ Grundy, Jim; Newey, Malcolm 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 941 KB

Large Deviation Theorems for Gaussian Pr

✍ Shunsuke Ihara 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 80 KB

Generalized Noether theorems in canonica

✍ Zi-ping Li 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 653 KB

[Algebra and Applications] Topics in Geo

✍ Garcia, Arnaldo; Stichtenoth, Henning 📂 Article 📅 2006 🏛 Springer Netherlands ⚖ 515 KB