Cited in
(32)- Effective computational geometry for curves and surfaces
- Reverse propagation of McCormick relaxations
- A reformulation framework for global optimization
- Verification, Model Checking, and Abstract Interpretation
- How do you compute the midpoint of an interval?
- A framework for globally optimizing mixed-integer signomial programs
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
- Certified computation of planar Morse-Smale complexes
- Numerical verification of condition for approximately midconvex functions
- MPFI
- RealPaver
- NDA
- gaol
- filib++
- GLOPEQ
- COIN-OR/GAMSLinks
- GGPECP
- Boost
- NLTOOLBOX
- CRlibm
- Octave Interval
- Traits
- JInterval
- Moore
- DSSynth
- Comparison and Automated Selection of Local Optimization Solvers for Interval Global Optimization Methods
- RangeLab
- ValidatedNumerics.jl
- Automated formal synthesis of provably safe digital controllers for continuous plants
- Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO
- ANTIGONE: algorithms for coNTinuous/Integer global optimization of nonlinear equations
- Function representation based slicer for 3D printing
This page was built for software: Boost Interval Arithmetic
