The design of the Boost interval arithmetic library
From MaRDI portal
Publication:817867
DOI10.1016/J.TCS.2005.09.062zbMATH Open1086.65046OpenAlexW2088861915MaRDI QIDQ817867FDOQ817867
Authors: Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion 
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
Recommendations
- Interval arithmetic: from principles to implementation
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Numerical Software with Result Verification
- scientific article; zbMATH DE number 970350
interval arithmeticfloating-point filtergeneric programmingpolicy-based designrobust computationssoftware library
Cites Work
- PROFIL/BIAS - A fast interval library
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interval arithmetic yields efficient dynamic filters for computational geometry
- The computational geometry algorithms library CGAL
- Interval arithmetic: from principles to implementation
- Applications of interval computations. Proceedings of an international workshop, El Paso, TX, USA, February 23-25, 1995
Cited In (20)
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
- Numerical Software with Result Verification
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Algorithm 1029: encapsulated error, a direct approach to evaluate floating-point accuracy
- Interval Arithmetic Using SSE-2
- How do you compute the midpoint of an interval?
- 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
- Automated formal synthesis of provably safe digital controllers for continuous plants
- Boost Interval Arithmetic
- Interval Subroutine Library Mission
- ANTIGONE: algorithms for coNTinuous/Integer global optimization of nonlinear equations
- Friable Turan-Kubilius constants: a numerical study
- Subdomain separability in global optimization
- Dynamic interval analysis by abstract interpretation
- Interval mathematical library based on Chebyshev and Taylor series expansion
- Reverse propagation of McCormick relaxations
- Complex inclusion functions in the CoStLy C++ class library
- Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
Uses Software
This page was built for publication: The design of the Boost interval arithmetic library
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q817867)
