The following pages link to (Q4855524):
Displaying 14 items.
- A modification of the \(\alpha \mathrm{BB}\) method for box-constrained optimization and an application to inverse kinematics (Q285928) (← links)
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (Q312490) (← links)
- \texttt{lsmear}: a variable selection strategy for interval branch and bound solvers (Q721162) (← links)
- Symbolic interval inference approach for subdivision direction selection in interval partitioning algorithms (Q995933) (← links)
- How to guarantee finite termination of verifying global optimization codes (Q1300086) (← links)
- Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method (Q1340882) (← links)
- The convergence speed of interval methods for global optimization (Q1361290) (← links)
- Simulation of controlled uncertain nonlinear systems (Q1893061) (← links)
- On the selection of subdivision directions in interval branch-and-bound methods for global optimization (Q1904648) (← links)
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers (Q1924483) (← links)
- Automatic verification of differential characteristics: application to reduced Gimli (Q2102064) (← links)
- Use of an interval global optimization tool for exploring feasibility of batch extractive distillation (Q2460135) (← links)
- Mathematically rigorous global optimization in floating-point arithmetic (Q4685569) (← links)
- Lipschitz continuity and the termination of interval methods for global optimization (Q5948880) (← links)
