Pages that link to "Item:Q2494411"
From MaRDI portal
The following pages link to A general reliable quadratic form: An extension of affine arithmetic (Q2494411):
Displaying 6 items.
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (Q312490) (← links)
- A reliable affine relaxation method for global optimization (Q496103) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- The small octagons of maximal width (Q1953053) (← links)
- On new methods to construct lower bounds in simplicial branch and bound based on interval arithmetic (Q2046307) (← links)
- Numerical certification of Pareto optimality for biobjective nonlinear problems (Q2154462) (← links)
