The following pages link to (Q4321536):
Displaying 50 items.
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
- Solvers for the verified solution of parametric linear systems (Q411424) (← links)
- A note on regularity and positive definiteness of interval matrices (Q432241) (← links)
- Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations (Q515787) (← links)
- Computational existence proofs for spherical \(t\)-designs (Q623336) (← links)
- An algorithm for automatically selecting a suitable verification method for linear systems (Q633151) (← links)
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse (Q634116) (← links)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- 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)
- Fast enclosure for solutions in underdetermined systems (Q989149) (← 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)
- Enclosing the solution set of parametric interval matrix equation \(A(p)X = B(p)\) (Q1646665) (← links)
- Exact solution to a parametric linear programming problem (Q1656667) (← links)
- Fast verified computation for the matrix principal \(p\)th root (Q1675959) (← links)
- Interval matrices: regularity generates singularity (Q1688911) (← links)
- A new method for computing a \(p\)-solution to parametric interval linear systems with affine-linear and nonlinear dependencies (Q1689318) (← links)
- A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms (Q1689460) (← links)
- Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations (Q1690908) (← links)
- Verified solutions of delay eigenvalue problems (Q1735394) (← links)
- Solving over-constrained systems of non-linear interval equations -- and its robotic application (Q1740041) (← 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)
- Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems (Q1919127) (← links)
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers (Q1924483) (← links)
- The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set (Q1930971) (← links)
- Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation (Q1993448) (← links)
- Rank one interval enclosure of the parametric united solution set (Q1999716) (← links)
- Rigorous verification of feasibility (Q2018466) (← links)
- Computing enclosures for the inverse square root and the sign function of a matrix (Q2249733) (← links)
- Verified computation for the matrix Lambert \(W\) function (Q2286071) (← links)
- Some observations on exclusion regions in branch and bound algorithms (Q2349518) (← links)
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271) (← links)
- Verified computation for the matrix principal logarithm (Q2418976) (← links)
- Verification of positive definiteness (Q2502318) (← links)
- Analysis and design of robust controllers using the interval Diophantine equation (Q2503181) (← links)
