920415d18d
Sollya is a tool environment and a library for safe floating-point code development, particularly targeted at automated implementation of math libraries like libm. Derived from wip/sollya.
5 lines
301 B
Text
5 lines
301 B
Text
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.
|