Validated Numerics: A Short Introduction to Rigorous Computations
Validated numerics is a field of computer science that deals with the development of numerical methods that can produce provably correct results. This is in contrast to traditional numerical methods, which can only provide approximate...