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