Publication:4321536

Publication date: 28 May 1995

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

Mathematics Subject Classification ID

65H10: Numerical computation of solutions to systems of equations

65G30: Interval and finite arithmetic

65F10: Iterative numerical methods for linear systems

Related Items

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

Uses Software