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

DOI10.1023/A:1009905822286zbMATH Open0885.65053MaRDI QIDQ1375604FDOQ1375604

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

Publication date: 2 April 1998

Published in: Reliable Computing (Search for Journal in Brave)

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

zbMATH Keywords

interval arithmeticepsilon-inflationPASCAL-XSCinflation parameter

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30)

Cited In (1)

• Epsilon-inflation in verification algorithms

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)