scientific article; zbMATH DE number 714516

Publication date: 28 May 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

sensitivity numerical examples interval analysis nonlinear equations interval matrices large sparse systems inclusion intervals verification methods

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30) Iterative numerical methods for linear systems (65F10)

Related Items (68)

On the solution sets of particular classes of linear interval systems ⋮ Eigenvalues, pseudospectrum and structured perturbations ⋮ An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid ⋮ Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation ⋮ A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid ⋮ Fast verified solutions of linear systems ⋮ A numerical verification method for two-coupled elliptic partial differential equations ⋮ Direct methods for linear systems with inexact input data ⋮ Enclosing the solution set of parametric interval matrix equation \(A(p)X = B(p)\) ⋮ Interval Linear Algebra and Computational Complexity ⋮ Inner and outer bounds for the solution set of parametric linear systems ⋮ A method of obtaining verified solutions for linear systems suited for Java ⋮ Exact solution to a parametric linear programming problem ⋮ Enclosures for the solution set of parametric interval linear systems ⋮ Fast enclosing the solution set of the parametric Sylvester matrix equations ⋮ Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method ⋮ On the Solution of Parametrised Linear Systems ⋮ Fast verified computation for the matrix principal \(p\)th root ⋮ Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers ⋮ The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set ⋮ \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton} ⋮ Verified computation for the matrix principal logarithm ⋮ Interval matrices: regularity generates singularity ⋮ A new method for computing a \(p\)-solution to parametric interval linear systems with affine-linear and nonlinear dependencies ⋮ A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms ⋮ Zur Berechnung von verlässlichen Außen- und Inneneinschließungen bei parameterabhängigen linearen Gleichungssystemen ⋮ Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations ⋮ Ten methods to bound multiple roots of polynomials ⋮ Computational existence proofs for spherical \(t\)-designs ⋮ Fast verified computation for real powers of large matrices with Kronecker structure ⋮ Solvers for the verified solution of parametric linear systems ⋮ An algorithm for automatically selecting a suitable verification method for linear systems ⋮ Strong regularity of parametric interval matrices ⋮ Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse ⋮ A note on regularity and positive definiteness of interval matrices ⋮ Unnamed Item ⋮ Verified solutions of delay eigenvalue problems ⋮ A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration ⋮ Solving over-constrained systems of non-linear interval equations -- and its robotic application ⋮ Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations ⋮ Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation ⋮ Computing enclosures for the inverse square root and the sign function of a matrix ⋮ Rank one interval enclosure of the parametric united solution set ⋮ Acceleration of iteration methods for interval fixed point problems ⋮ Computational error bounds for multiple or nearly multiple eigenvalues ⋮ A simple method for error bounds of eigenvalues of symmetric matrices ⋮ Rigorous verification of feasibility ⋮ Verification of positive definiteness ⋮ Analysis and design of robust controllers using the interval Diophantine equation ⋮ Fast enclosure for solutions in underdetermined systems ⋮ A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow ⋮ Unnamed Item ⋮ Calculation of exact bounds for the solution set of linear interval systems ⋮ Verified computation for the matrix Lambert \(W\) function ⋮ A Comparison of Methods for Solving Parametric Interval Linear Systems with General Dependencies ⋮ A framework for existence tests based on the topological degree and homotopy ⋮ Solving interval linear systems with linear programming techniques ⋮ Regularity radius: Properties, approximation and a not a priori exponential algorithm ⋮ A gentle introduction to Numerica ⋮ Unnamed Item ⋮ On proving existence of feasible points in equality constrained optimization problems ⋮ Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics ⋮ Interval analysis: Theory and applications ⋮ Structured perturbations and symmetric matrices ⋮ Interval mathematics, algebraic equations and optimization ⋮ Some observations on exclusion regions in branch and bound algorithms ⋮ A method for outer interval solution of systems of linear equations depending linearly on interval parameters ⋮ Enclosing the solution set of the parametric generalised Sylvester matrix equation A(p)XB(p) + C(p)XD(p) = F(p)

Uses Software

This page was built for publication: