✦ LIBER ✦

Exhaustive checking of sparse algebras

✍ Scribed by Irvin Roy Hentzel; Leslie Hogben

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Probabilistic checking of associativity

✍ D.P. Jacobs 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 734 KB

On generators in exhaustive σ-algebras o

✍ Wolfgang Krieger 📂 Article 📅 1971 🏛 Springer 🌐 English ⚖ 254 KB

Parametrization of algebraic curves defi

✍ Tobias Beck; Josef Schicho 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 394 KB

A computer checked algebraic verificatio

✍ Jan Friso Groote; François Monin; Jan Springintveld 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 217 KB

The package processing of systems of lin

✍ A.Yu. Erëmin; N.Ya. Mar'yashkin 📂 Article 📅 1978 🏛 Elsevier Science ⚖ 722 KB

The use of gradient methods to solve spa

✍ A.L. Goncharov 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 348 KB