Boost Interval Arithmetic

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

Described by source

• The design of the Boost interval arithmetic library

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