sollya (science/sollya) Updated: 4 months, 2 weeks ago Add to my watchlist
Sollya is both a tool environment and a library for safe floating-point code developmentSollya 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.
Version: 8.0 License: CeCILL-C
GitHub
Statistics for selected duration
2026-Jan-09 to 2026-Feb-08
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.