Epsilon-inflation in verification algorithms

DOI10.1016/0377-0427(94)00089-JzbMath0839.65059MaRDI QIDQ1900758

Günter Mayer

Publication date: 16 June 1996

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

eigenvaluessingular valuesinterval computationsfinite terminationepsilon-inflationverification algorithms\(P\)-contraction propertyself-validating method

Mathematics Subject Classification ID

Numerical computation of eigenvalues and eigenvectors of matrices (65F15) Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30)

Related Items (17)

Asynchronous parallel methods for enclosing solutions of nonlinear equations ⋮ Solving interval constraints by linearization in computer-aided design ⋮ The cluster problem in constrained global optimization ⋮ Robot workspace approximation with modified bicentered Krawczyk method ⋮ Domain reduction techniques for global NLP and MINLP optimization ⋮ Interval algorithm for absolute value equations ⋮ Epsilon-inflation with contractive interval functions ⋮ Exclusion regions for optimization problems ⋮ A computer-assisted proof of existence of a periodic solution ⋮ The Forthcoming IEEE Standard 1788 for Interval Arithmetic ⋮ A framework for existence tests based on the topological degree and homotopy ⋮ The cluster problem revisited ⋮ On proving existence of feasible points in equality constrained optimization problems ⋮ Interval analysis: Theory and applications ⋮ Interval mathematics, algebraic equations and optimization ⋮ On bounding zeros of analytic functions ⋮ Some observations on exclusion regions in branch and bound algorithms

Uses Software

• PASCAL-XSC

Cites Work

• Derived eigenvalues of symmetric matrices, with applications to distance geometry
• On the solution of interval linear systems
• Berechenbare Fehlerschranken für ein Eigenpaar unter Einschluß von Rundungsfehlern bei Verwendung des genauen Skalarprodukts
• Iterative methods for interval inclusion of fixed points
• Späth, H., Zweidimensionale Spline‐Interpolations‐Algorithmen. München/Wien, R. Oldenbourg Verlag 1991. 293 S. ISBN 3‐486‐21807‐7
• A Unified Approach to Enclosure Methods for Eigenpairs
• Berechenbare Fehlerschranken für ein Eigenpaar beim verallgemeinerten Eigenwertproblem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Epsilon-inflation in verification algorithms