The following pages link to (Q4321536):
Displayed 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 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)
- 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)
- 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)
- The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set (Q1930971) (← links)
- Rigorous verification of feasibility (Q2018466) (← links)
- Computing enclosures for the inverse square root and the sign function of a matrix (Q2249733) (← 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)
- Verification of positive definiteness (Q2502318) (← links)
- Analysis and design of robust controllers using the interval Diophantine equation (Q2503181) (← links)
- Enclosures for the solution set of parametric interval linear systems (Q2934496) (← links)
- Zur Berechnung von verlässlichen Außen- und Inneneinschließungen bei parameterabhängigen linearen Gleichungssystemen (Q2954948) (← links)
- A Comparison of Methods for Solving Parametric Interval Linear Systems with General Dependencies (Q3075301) (← links)
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow (Q3605039) (← links)
- Strong regularity of parametric interval matrices (Q4603781) (← links)
- Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics (Q5244700) (← 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)