Pages that link to "Item:Q1900758"
From MaRDI portal
The following pages link to Epsilon-inflation in verification algorithms (Q1900758):
Displaying 16 items.
- Interval algorithm for absolute value equations (Q657417) (← links)
- The cluster problem revisited (Q742132) (← links)
- Solving interval constraints by linearization in computer-aided design (Q868685) (← links)
- A framework for existence tests based on the topological degree and homotopy (Q1006842) (← links)
- On proving existence of feasible points in equality constrained optimization problems (Q1290652) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- Interval mathematics, algebraic equations and optimization (Q1593830) (← links)
- The cluster problem in constrained global optimization (Q1683326) (← links)
- Domain reduction techniques for global NLP and MINLP optimization (Q1699520) (← links)
- On bounding zeros of analytic functions (Q1855795) (← links)
- Asynchronous parallel methods for enclosing solutions of nonlinear equations (Q1900751) (← links)
- Epsilon-inflation with contractive interval functions (Q1979002) (← links)
- Exclusion regions for optimization problems (Q2250096) (← links)
- A computer-assisted proof of existence of a periodic solution (Q2263959) (← links)
- Some observations on exclusion regions in branch and bound algorithms (Q2349518) (← links)
- The Forthcoming IEEE Standard 1788 for Interval Arithmetic (Q2803584) (← links)
