Computer-Aided Proofs via Interval Analysis

Warwick Tucker

Computer-Aided Proofs via Interval Analysis

Research output: Chapter in Book/Report/Conference proceeding › Encyclopaedia / Dictionary Entry › Other › peer-review

Abstract

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 language	English
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
Pages	790-795
Number of pages	6
ISBN (Print)	978-0-691-15039-0
Publication status	Published - 2015
Externally published	Yes

Cite this

@inbook{888b1ae126434c9894b9aec2c2ad447a,

title = "Computer-Aided Proofs via Interval Analysis",

abstract = "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.",

author = "Warwick Tucker",

year = "2015",

language = "English",

isbn = "978-0-691-15039-0",

pages = "790--795",

editor = "Higham, {Nicholas J} and Dennis, {Mark R} and Paul Glendinning and Martin, {Paul A} and Fadil Santosa and Jared Tanner",

booktitle = "The Princeton Companion to Applied Mathematics",

publisher = "Princeton University Press",

}

Computer-Aided Proofs via Interval Analysis. / Tucker, Warwick.

The Princeton Companion to Applied Mathematics. ed. / Nicholas J Higham; Mark R Dennis; Paul Glendinning; Paul A Martin; Fadil Santosa; Jared Tanner. Princeton NJ USA : Princeton University Press, 2015. p. 790-795.

Research output: Chapter in Book/Report/Conference proceeding › Encyclopaedia / Dictionary Entry › Other › peer-review

TY - CHAP

T1 - Computer-Aided Proofs via Interval Analysis

AU - Tucker, Warwick

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

M3 - Encyclopaedia / Dictionary Entry

SN - 978-0-691-15039-0

SP - 790

EP - 795

BT - The Princeton Companion to Applied Mathematics

A2 - Higham, Nicholas J

A2 - Dennis, Mark R

A2 - Glendinning, Paul

A2 - Martin, Paul A

A2 - Santosa, Fadil

A2 - Tanner, Jared

PB - Princeton University Press

CY - Princeton NJ USA

ER -