Validated Numerics: A Short Introduction to Rigorous Computations
Book
Domain Context
Computation and Complexity
Citation
Tucker, Warwick. (2011). Validated Numerics: A Short Introduction to Rigorous Computations. Princeton University Press.
Why this reference is included
Tucker’s Validated Numerics: A Short Introduction to Rigorous Computations (2011) is part of the program’s reference corpus as standard domain context for Computation and Complexity. It is not directly cited in the currently published volumes of Panta Rhei, but is retained as part of the research shelf.
Corpus status
In the corpus only This reference is part of the research corpus but is not directly cited in the currently published volumes of Panta Rhei.