sollya (science/sollya) Updated: 1 month, 4 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
2025-Oct-21 to 2025-Nov-20
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.