The following pages link to CR-LIBM (Q29941):
Displaying 5 items.
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard (Q411433) (← links)
- Variants of the general interval power function (Q889874) (← links)
- Elementary Functions (Q3186642) (← links)
- Handbook of Floating-Point Arithmetic (Q4609588) (← links)
- Primitive Floats in Coq (Q5875413) (← links)