scientific article

zbMATH Open0774.65025MaRDI QIDQ4036720FDOQ4036720

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 (12)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Self-validating methods
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Scientific computing with automatic result verification
• Interval analysis and automatic result verification
• Title not available (Why is that?)
• 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)