sollya (science/sollya) Updated: 3 months, 3 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-Dec-13 to 2026-Jan-12
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.