A Proposal to add Interval Arithmetic to the C++ Standard Library

Hervé Brönnimann (1) , Guillaume Melquiond (2) , Sylvain Pion (1, 2)

1 GEOMETRICA - Geometric computing
2 ARENAIRE - Computer arithmetic

Interval arithmetic is a basic tool for certified mathematical computations, it is presented in many references. We describe here the formal proposal to include interval arithmetic in the C++ standard library.

Mots clés: C++; STANDARDIZATION; LIBRARY; INTERVAL ARITHMETIC; CERTIFICATION

Domaines: Autre [cs.OH]

Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion. A Proposal to add Interval Arithmetic to the C++ Standard Library. [Research Report] RR-5646, INRIA. 2006. ⟨inria-00071231⟩