On a theoretical justification of the choice of epsilon-inflation in PASCAL-XSC

DOI10.1023/A:1009905822286MaRDI QIDQ1375604zbMATH OpenFDO

Authors Vladik Kreinovich, Scott A. Starks, Günter Mayer

Publication date 2 April 1998

Published in Reliable Computing (Search for Journal in Brave)

zbMATH Keywords

interval arithmeticepsilon-inflationPASCAL-XSCinflation parameter

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30)

Recommendations

• A note on epsilon-inflation
• scientific article; zbMATH DE number 903745
• Epsilon-inflation with contractive interval functions
• Epsilon-inflation in verification algorithms
• scientific article; zbMATH DE number 41641

Cited in

(1)

• Epsilon-inflation in verification algorithms

Describes a project that uses

Uses Software

• PASCAL-XSC

This page was built for publication: On a theoretical justification of the choice of epsilon-inflation in PASCAL-XSC

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