✦ LIBER ✦

Verification of linear algebra programs in the spektr system

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Problem-oriented verification system and

✍ V.A. Nepomniaschy; A.A. Sulimov 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 819 KB

Computer programs for the solution of sy

✍ William T. Segui 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 542 KB

Using Computer Algebra techniques for th

✍ Nikolaj Popov; Tudor Jebelean 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 130 KB

Logic programs as specifications in the

✍ Marco Comini; Roberta Gori; Giorgio Levi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 149 KB

The solution of linear algebraic systems

✍ V.N. Kublanovskaya 📂 Article 📅 1976 🏛 Elsevier Science ⚖ 200 KB

Tightened reachability constraints for t

✍ Zhikun She; Zhiming Zheng 📂 Article 📅 2008 🏛 Elsevier 🌐 English ⚖ 635 KB