Boost Interval Arithmetic

swMATH13013MaRDI QIDQ24934FDOQ24934

Author name not available (Why is that?)

Described by source

• The design of the Boost interval arithmetic library

Cited In (14)

• 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
• ANTIGONE: algorithms for coNTinuous/Integer global optimization of nonlinear equations
• Reverse propagation of McCormick relaxations

This page was built for software: Boost Interval Arithmetic