scientific article; zbMATH DE number 176889

MaRDI QIDQ4036720zbMATH OpenFDO

Authors Ulrich Kulisch

Publication date 18 May 1993

zbMATH Keywords

automatic differentiationautomatic result verificationcomputer arithmeticerror boundsfloating point arithmeticinterval analysisprogramming languagesroundingscalar product

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Error analysis and interval analysis (65Gxx) Mathematical problems of computer architecture (68M07)

Recommendations

• scientific article; zbMATH DE number 953029
• Validated numerics. A short introduction to rigorous computations.
• scientific article; zbMATH DE number 563597
• scientific article; zbMATH DE number 647464
• Verification methods: rigorous results using floating-point arithmetic

Cited in

(22)

• Numerical verification of industrial numerical codes
• Verification methods: rigorous results using floating-point arithmetic
• scientific article; zbMATH DE number 4014034 (Why is no real title available?)
• Topics in computer supported error control
• Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
• Interval analysis and automatic result verification
• scientific article; zbMATH DE number 4078646 (Why is no real title available?)
• scientific article; zbMATH DE number 4084863 (Why is no real title available?)
• scientific article; zbMATH DE number 4088841 (Why is no real title available?)
• scientific article; zbMATH DE number 193769 (Why is no real title available?)
• scientific article; zbMATH DE number 524110 (Why is no real title available?)
• scientific article; zbMATH DE number 563597 (Why is no real title available?)
• scientific article; zbMATH DE number 647464 (Why is no real title available?)
• scientific article; zbMATH DE number 1067702 (Why is no real title available?)
• scientific article; zbMATH DE number 953029 (Why is no real title available?)
• scientific article; zbMATH DE number 1408651 (Why is no real title available?)
• Validated numerics. A short introduction to rigorous computations.
• Numerical Software with Result Verification
• scientific article; zbMATH DE number 2212178 (Why is no real title available?)
• Accurate and reliable computing in floating-point arithmetic
• Self-validating methods
• Scientific computing with automatic result verification

This page was built for publication:

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