Epsilon-inflation in verification algorithms

DOI10.1016/0377-0427(94)00089-JzbMATH Open0839.65059MaRDI QIDQ1900758FDOQ1900758

Günter Mayer

Publication date: 16 June 1996

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

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

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)

Cites Work

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

Cited In (19)

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

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)