blob: 03980a484ff28847149979a8469766df3779d3b3 (
plain)
1
2
3
4
5
|
Sollya is both a tool environment and a library for safe floating-point
code development. It is particularily targeted to the automatized
implementation of mathematical floating-point libraries (libm). Amongst
other features, it offers a certified infinity (supremum) norm and a
fast Remez algorithm.
|
