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