Computer-Aided Proofs via Interval Analysis

Research output: Chapter in Book/Report/Conference proceedingEncyclopaedia / Dictionary EntryOtherpeer-review


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.
Original languageEnglish
Title of host publicationThe Princeton Companion to Applied Mathematics
EditorsNicholas J Higham, Mark R Dennis, Paul Glendinning, Paul A Martin, Fadil Santosa, Jared Tanner
Place of PublicationPrinceton NJ USA
PublisherPrinceton University Press
Number of pages6
ISBN (Print)9780691150390
Publication statusPublished - 2015
Externally publishedYes

Cite this