CRlibm
From MaRDI portal
Cited in
(8)- FPTaylor
- Computing the volume of a union of balls: a certified algorithm
- Improvement of error-free splitting for accurate matrix multiplication
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
- FloPoCo
- McVol
- Voronoia
- Computer-assisted verification of four interval arithmetic operators
This page was built for software: CRlibm
