scientific article; zbMATH DE number 176889

zbMATH Open0774.65025MaRDI QIDQ4036720FDOQ4036720

Authors Ulrich Kulisch

Publication date 18 May 1993

zbMATH Keywords

error boundsprogramming languagesinterval analysisroundingscalar productcomputer arithmeticautomatic differentiationautomatic result verificationfloating point arithmetic

Mathematics Subject Classification ID

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

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

(19)

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

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)