Interval arithmetic and its implementations

MaRDI QIDQ2818510zbMATH OpenFDO

Authors Naoya Yamanaka, Shin'ichi Oishi

Publication date 7 September 2016

Published in RIMS Kôkyûroku Bessatsu (Search for Journal in Brave)

zbMATH Keywords

algorithminterval arithmeticrounding errorstruncation errorsverified numerical computation

Mathematics Subject Classification ID

Algorithms with automatic result verification (65G20) Interval and finite arithmetic (65G30)

Recommendations

• Interval arithmetic: from principles to implementation
• Interval analysis and automatic result verification
• Introduction to the IEEE 1788-2015 standard for interval arithmetic
• Validated numerics. A short introduction to rigorous computations.
• scientific article; zbMATH DE number 3854310

Cited in

(12)

• Fast and parallel interval arithmetic
• A software interface and hardware design for variable-precision interval arithmetic
• Intrinsic compiler support for interval arithmetic
• The Forthcoming IEEE Standard 1788 for Interval Arithmetic
• scientific article; zbMATH DE number 5899418 (Why is no real title available?)
• Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
• scientific article; zbMATH DE number 26620 (Why is no real title available?)
• Algorithm 763: INTERVAL_ARITHMETIC
• scientific article; zbMATH DE number 852338 (Why is no real title available?)
• scientific article; zbMATH DE number 852363 (Why is no real title available?)
• scientific article; zbMATH DE number 869750 (Why is no real title available?)
• scientific article; zbMATH DE number 5222656 (Why is no real title available?)

This page was built for publication: Interval arithmetic and its implementations

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