5 packages found
Tools for the FPBench numerical software standards (more info at http://fpbench.org/)
This package needs documentation
This package needs license metadata
Alternative MPFR interface for emulating IEEE-754 floating-point numbers
A tool for automatically improving the accuracy of floating point expressions
Interval analysis for real computation
SoftPosit support for Herbie