✦ LIBER ✦

Problem-oriented verification system and its application to linear algebra programs

✍ Scribed by V.A. Nepomniaschy; A.A. Sulimov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Stochastic linear knapsack programming p

✍ Hiroshi Morita; Hiroaki Ishii; Toshio Nishida 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 462 KB

An algebra of algorithms and its applica

✍ A.A. Kaposi; L.M. Popovic; G. Rzevski 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 274 KB

Genetic algorithm for non-linear mixed i

✍ Takao Yokota; Mitsuo Gen; Yin-Xiu Li 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 709 KB

Contributions of Biswa N. Datta to Linea

✍ Richard A. Brualdi; Robert J. Plemmons; Lothar Reichel; Qiang Ye 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 191 KB

A Verification Theorem and Application t

✍ E.N. Barron 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 685 KB

Algebraic multigrid methods for constrai

✍ Mark F. Adams 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 745 KB