| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Auto-Validating Numerical Methods | 978-3-0346-0301-0 (3-0346-0301-0) | 2010 | ||
| Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. ... Notes in Computer Science, Band 9553) | 978-3-319-31768-7 (3-319-31768-7) | 2016 | Marco Nehmeier · Jürgen Wolff von Gudenberg | |
| Validated Numerics: A Short Introduction to Rigorous Computations | 978-0-691-14781-9 (0-691-14781-7) | 2011 | ||
Birkhäuser · Princeton University Press · Springer