CRlibm
From MaRDI portal
Software:24319
No author found.
Related Items (4)
Computer-assisted verification of four interval arithmetic operators ⋮ Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard ⋮ Computing the volume of a union of balls ⋮ Improvement of error-free splitting for accurate matrix multiplication
This page was built for software: CRlibm
