scientific article; zbMATH DE number 176889

zbMATH Open0774.65025MaRDI QIDQ4036720FDOQ4036720

Authors: Ulrich Kulisch 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (19)

• Title not available (Why is that?)
• Numerical verification of industrial numerical codes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Accurate and reliable computing in floating-point arithmetic
• Validated numerics. A short introduction to rigorous computations.
• Self-validating methods
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
• Scientific computing with automatic result verification
• Interval analysis and automatic result verification
• Verification methods: rigorous results using floating-point arithmetic
• Title not available (Why is that?)
• Numerical Software with Result Verification
• Topics in computer supported error control
• Title not available (Why is that?)
• Title not available (Why is that?)

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)