The following pages link to A note on epsilon-inflation (Q1276130):
Displaying 15 items.
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
- Verified error bounds for solutions of Sylvester matrix equations (Q651215) (← links)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- Fast verified solutions of linear systems (Q849174) (← links)
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem (Q849191) (← links)
- Solving interval constraints by linearization in computer-aided design (Q868685) (← links)
- Interval mathematics, algebraic equations and optimization (Q1593830) (← links)
- Enclosing the solution set of parametric interval matrix equation \(A(p)X = B(p)\) (Q1646665) (← links)
- Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations (Q1690908) (← links)
- Constraint propagation using dominance in interval branch \& bound for nonlinear biobjective optimization (Q1753511) (← links)
- The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set (Q1930971) (← links)
- Quasi-decidability of a fragment of the first-order theory of real numbers (Q2013319) (← links)
- Exclusion regions for optimization problems (Q2250096) (← links)
- A Comparison of Methods for Solving Parametric Interval Linear Systems with General Dependencies (Q3075301) (← links)
- Fast enclosing the solution set of the parametric Sylvester matrix equations (Q5084715) (← links)