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

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, 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 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, 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, 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, Rigorous verification of feasibility, Computing enclosures for the inverse square root and the sign function of a matrix, Some observations on exclusion regions in branch and bound algorithms, A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid, 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