✦ LIBER ✦

Improved bound for stochastic formal correctness of numerical algorithms

✍ Scribed by Marc Daumas; David Lester; Érik Martin-Dorel; Annick Truffert

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Stochastic Models and Numerical Algorith

✍ Thomas Fournier; Jean-Pierre Gabriel; Christian Mazza; Jerôme Pasquier; José Gal 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 619 KB

Stochastic algorithms for the analysis o

✍ J.B. Bell; M.S. Day; J.F. Grcar; M.J. Lijewski 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 723 KB

Improved analysis of the greedy algorith

✍ Marek Adamczyk 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 171 KB

Stochastic algorithm and numerical simul

✍ Hai-bo Zhao; Chu-guang Zheng 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 310 KB

A parallel iterated correction algorithm

✍ P. Bocher; H. De Meyer; V. Fack; G. Vanden Berghe 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 882 KB

A formal derivation and numerical modell

✍ S Beji; K Nadaoka 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 1015 KB