Validated Numerics for Pedestrians

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch


The aim of this paper is to give a very brief introduction to the emerging area of validated numerics. This is a rapidly growing field of research faced with the challenge of interfacing computer science and pure mathematics. Most validated numerics is based on interval analysis, which allows its users to account for both rounding and discretization errors in computer-aided proofs. We will illustrate the strengths of these techniques by converting the well-known bisection method into a efficient, validated root finder.
Original languageEnglish
Title of host publicationEuropean Congress of Mathematics
Subtitle of host publicationStockholm, June 27 – July 2, 2004
Place of PublicationSweden
PublisherEuropean Mathematical Society
Number of pages10
Publication statusPublished - Jun 2005
Externally publishedYes

Cite this