Testing interval arithmetic libraries, including their IEEE-1788 compliance

DOI10.1007/978-3-031-30445-3_36arXiv2205.11837OpenAlexW4281395449MaRDI QIDQ6135497

Luis Benet, Luca Ferranti, Sergei I. Zhilin, Nathalie Revol

Publication date: 25 August 2023

Published in: Parallel Processing and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.11837

zbMATH Keywords

test cases for interval arithmetictesting IEEE 1788--2015 complianceunit tests for interval arithmetic libraries

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Parallel numerical computation (65Y05)

Cites Work

• Unnamed Item
• Standardization and testing of implementations of mathematical functions in floating point numbers
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• FILIB++, a fast interval library supporting containment computations
• Numerical Software with Result Verification
• How do you compute the midpoint of an interval?
• Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries

This page was built for publication: Testing interval arithmetic libraries, including their IEEE-1788 compliance