CR-LIBM
From MaRDI portal
Cited in
(13)- Variants of the general interval power function
- Primitive Floats in Coq
- Handbook of floating-point arithmetic
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
- SLEEF
- Sollya
- Metalibm
- SoftFloat
- CAMPARY
- FLIP
- doubledouble
- DPE
- Elementary functions. Algorithms and implementation
This page was built for software: CR-LIBM