The following pages link to Boost Interval Arithmetic (Q24934):
Displayed 14 items.
- Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO (Q322958) (← links)
- A reformulation framework for global optimization (Q367160) (← links)
- A framework for globally optimizing mixed-integer signomial programs (Q398656) (← links)
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard (Q411433) (← links)
- Numerical verification of condition for approximately midconvex functions (Q443926) (← links)
- Reverse propagation of McCormick relaxations (Q496587) (← links)
- Certified computation of planar Morse-Smale complexes (Q739610) (← links)
- Effective computational geometry for curves and surfaces (Q859465) (← links)
- Function representation based slicer for 3D printing (Q1644400) (← links)
- ANTIGONE: algorithms for coNTinuous/Integer global optimization of nonlinear equations (Q2250093) (← links)
- Automated formal synthesis of provably safe digital controllers for continuous plants (Q2303883) (← links)
- Comparison and Automated Selection of Local Optimization Solvers for Interval Global Optimization Methods (Q3225235) (← links)
- How do you compute the midpoint of an interval? (Q5498687) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711510) (← links)