Pages that link to "Item:Q817867"
From MaRDI portal
The following pages link to The design of the Boost interval arithmetic library (Q817867):
Displaying 11 items.
- Boost Interval Arithmetic (Q24934) (← links)
- 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)
- Reverse propagation of McCormick relaxations (Q496587) (← 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)
- Constantes de Turán–Kubilius friables: une étude numérique (Q2911510) (← links)
- Interval Arithmetic Using SSE-2 (Q5302768) (← links)
- How do you compute the midpoint of an interval? (Q5498687) (← links)
- Subdomain separability in global optimization (Q6173955) (← links)