|Title of host publication||The Princeton Companion to Applied Mathematics|
|Editors||Nicholas J Higham, Mark R Dennis, Paul Glendinning, Paul A Martin, Fadil Santosa, Jared Tanner|
|Place of Publication||Princeton NJ USA|
|Publisher||Princeton University Press|
|Number of pages||6|
|Publication status||Published - 2015|
The aim of this article is to give a brief introduction to the field of computer-aided proofs. We will do so by focusing on the problem of solving nonlinear equations and inclusions using techniques from interval analysis. Interval analysis is a framework designed to make numerical computations mathematically rigorous. Instead of computing approximations to sought quantities, the aim is to compute enclosures of the same. This requires taking both rounding and discretization errors into account.