The design of the Boost interval arithmetic library

DOI10.1016/J.TCS.2005.09.062zbMath1086.65046OpenAlexW2088861915MaRDI QIDQ817867

Hervé Brönnimann, Sylvain Pion, Guillaume Melquiond

Publication date: 20 March 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.09.062

zbMATH Keywords

interval arithmeticfloating-point filtergeneric programmingpolicy-based designrobust computationssoftware library

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30)

Related Items (13)

Interval Arithmetic Using SSE-2 ⋮ Constantes de Turán–Kubilius friables: une étude numérique ⋮ Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO ⋮ A reformulation framework for global optimization ⋮ A framework for globally optimizing mixed-integer signomial programs ⋮ Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis ⋮ Subdomain separability in global optimization ⋮ Reverse propagation of McCormick relaxations ⋮ ANTIGONE: algorithms for coNTinuous/Integer global optimization of nonlinear equations ⋮ Dynamic interval analysis by abstract interpretation ⋮ Automated formal synthesis of provably safe digital controllers for continuous plants ⋮ Boost Interval Arithmetic ⋮ How do you compute the midpoint of an interval?

Uses Software

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Boost C++ Libraries
• gaol
• filib++
• Boost

Cites Work

• Unnamed Item
• Unnamed Item
• PROFIL/BIAS - A fast interval library
• Applications of interval computations. Proceedings of an international workshop, El Paso, TX, USA, February 23-25, 1995
• Interval arithmetic
• The computational geometry algorithms library CGAL
• Interval arithmetic yields efficient dynamic filters for computational geometry

This page was built for publication: The design of the Boost interval arithmetic library