Epsilon-inflation in verification algorithms

DOI10.1016/0377-0427(94)00089-JzbMATHMaRDI QIDQ1900758FDO

Authors Günter Mayer

Publication date 16 June 1996

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

zbMATH Keywords

eigenvaluessingular valuesfinite terminationinterval computationsepsilon-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)

Recommendations

• scientific article; zbMATH DE number 903745
• Epsilon-inflation with contractive interval functions
• A note on epsilon-inflation
• scientific article; zbMATH DE number 440785
• On a theoretical justification of the choice of epsilon-inflation in PASCAL-XSC

Cites work

• scientific article; zbMATH DE number 4129889 (Why is no real title available?)
• scientific article; zbMATH DE number 440785 (Why is no real title available?)
• scientific article; zbMATH DE number 3649911 (Why is no real title available?)
• scientific article; zbMATH DE number 3880009 (Why is no real title available?)
• scientific article; zbMATH DE number 3963074 (Why is no real title available?)
• scientific article; zbMATH DE number 4070190 (Why is no real title available?)
• scientific article; zbMATH DE number 4106125 (Why is no real title available?)
• scientific article; zbMATH DE number 3682951 (Why is no real title available?)
• scientific article; zbMATH DE number 46301 (Why is no real title available?)
• scientific article; zbMATH DE number 50026 (Why is no real title available?)
• scientific article; zbMATH DE number 852322 (Why is no real title available?)
• scientific article; zbMATH DE number 852361 (Why is no real title available?)
• scientific article; zbMATH DE number 3215568 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• scientific article; zbMATH DE number 3381785 (Why is no real title available?)
• A Unified Approach to Enclosure Methods for Eigenpairs
• Berechenbare Fehlerschranken für ein Eigenpaar beim verallgemeinerten Eigenwertproblem
• Berechenbare Fehlerschranken für ein Eigenpaar unter Einschluß von Rundungsfehlern bei Verwendung des genauen Skalarprodukts
• Derived eigenvalues of symmetric matrices, with applications to distance geometry
• Iterative methods for interval inclusion of fixed points
• On the solution of interval linear systems
• Späth, H., Zweidimensionale Spline‐Interpolations‐Algorithmen. München/Wien, R. Oldenbourg Verlag 1991. 293 S. ISBN 3‐486‐21807‐7

Cited in

(19)

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

Describes a project that uses

Uses Software

• PASCAL-XSC

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1900758)