CRlibm

swMATH12390MaRDI QIDQ24319FDOQ24319

Author name not available (Why is that?)

Cited In (4)

• Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
• Improvement of error-free splitting for accurate matrix multiplication
• Computing the volume of a union of balls: a certified algorithm
• Computer-assisted verification of four interval arithmetic operators

This page was built for software: CRlibm