The following pages link to (Q4868537):
Displaying 7 items.
- PROFIL/BIAS - A fast interval library (Q1340873) (← links)
- Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method (Q1340882) (← links)
- Verified solution of large systems and global optimization problems (Q1900761) (← links)
- A branch-and-bound algorithm for bound constrained optimization problems without derivatives (Q1904655) (← links)
- Interval methods for global optimization (Q1914643) (← links)
- Verification of constrained minima (Q1919423) (← links)
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers (Q1924483) (← links)
