swMATH13013MaRDI QIDQ24934FDOQ24934
Author name not available (Why is that?)
Official website: http://www.boost.org/doc/libs/1_46_1/libs/numeric/interval/doc/interval.htm
Cited In (31)
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
- Effective computational geometry for curves and surfaces
- Verification, Model Checking, and Abstract Interpretation
- Comparison and Automated Selection of Local Optimization Solvers for Interval Global Optimization Methods
- Numerical verification of condition for approximately midconvex functions
- Function representation based slicer for 3D printing
- How do you compute the midpoint of an interval?
- Certified computation of planar Morse-Smale complexes
- 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
- RealPaver
- NDA
- gaol
- filib++
- GLOPEQ
- COIN-OR/GAMSLinks
- GGPECP
- Boost
- NLTOOLBOX
- CRlibm
- Octave Interval
- Traits
- JInterval
- Moore
- DSSynth
- RangeLab
- ANTIGONE: algorithms for coNTinuous/Integer global optimization of nonlinear equations
- ValidatedNumerics.jl
- Reverse propagation of McCormick relaxations
This page was built for software: Boost Interval Arithmetic