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

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, 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

• CGAL
• MPFI
• PROFIL/BIAS
• 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