The following pages link to (Q4321536):
Displayed 28 items.
- A method for outer interval solution of systems of linear equations depending linearly on interval parameters (Q811948) (← links)
- Eigenvalues, pseudospectrum and structured perturbations (Q819154) (← links)
- Fast verified solutions of linear systems (Q849174) (← links)
- A numerical verification method for two-coupled elliptic partial differential equations (Q849177) (← links)
- Direct methods for linear systems with inexact input data (Q849179) (← links)
- Inner and outer bounds for the solution set of parametric linear systems (Q861892) (← links)
- A method of obtaining verified solutions for linear systems suited for Java (Q861896) (← links)
- A framework for existence tests based on the topological degree and homotopy (Q1006842) (← links)
- A gentle introduction to Numerica (Q1274762) (← links)
- On proving existence of feasible points in equality constrained optimization problems (Q1290652) (← links)
- Structured perturbations and symmetric matrices (Q1307283) (← links)
- Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method (Q1378621) (← links)
- \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton} (Q1391927) (← links)
- Ten methods to bound multiple roots of polynomials (Q1398714) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- Interval mathematics, algebraic equations and optimization (Q1593830) (← links)
- Solving interval linear systems with linear programming techniques (Q1808960) (← links)
- On the solution sets of particular classes of linear interval systems (Q1872925) (← links)
- Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation (Q1877202) (← links)
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers (Q1924483) (← links)
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271) (← links)
- Verification of positive definiteness (Q2502318) (← links)
- Analysis and design of robust controllers using the interval Diophantine equation (Q2503181) (← links)
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow (Q3605039) (← links)
- Acceleration of iteration methods for interval fixed point problems (Q5929751) (← links)
- Computational error bounds for multiple or nearly multiple eigenvalues (Q5929752) (← links)
- A simple method for error bounds of eigenvalues of symmetric matrices (Q5940698) (← links)
- Calculation of exact bounds for the solution set of linear interval systems (Q5961705) (← links)