Kulisch, U. (1993). Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-78423-1
Chicago-Zitierstil (17. Ausg.)Kulisch, Ulrich. Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. https://doi.org/10.1007/978-3-642-78423-1.
MLA-Zitierstil (9. Ausg.)Kulisch, Ulrich. Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs. Springer Berlin Heidelberg, 1993. https://doi.org/10.1007/978-3-642-78423-1.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.