✦ LIBER ✦

Formal Verification of Square Root Algorithms

✍ Scribed by John Harrison

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal verification of conflict detectio

✍ César Muñoz; Víctor Carreño; Gilles Dowek; Ricky Butler 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 212 KB

New square-root smoothing algorithms

✍ PooGyeon Park; Kailath, T. 📂 Article 📅 1996 🏛 IEEE 🌐 English ⚖ 664 KB

Timing Diagrams: Formalization and Algor

✍ Kathi Fisler 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 235 KB

Java Bytecode Verification: Algorithms a

✍ Xavier Leroy 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 224 KB

Square-root algorithms for least-squares

✍ Morf, M.; Kailath, T. 📂 Article 📅 1975 🏛 IEEE 🌐 English ⚖ 937 KB

New square-root algorithms for Kalman fi

✍ PooGyeon Park; Kailath, T. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 500 KB