sollya ☆
« Back to VersTracker
Description:
Library for safe floating-point code development
Type: Formula  |  Tracked Since: Dec 28, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: mathematics floating-point development numerical-analysis library
Install: brew install sollya
About:
Sollya is a specialized library and tool designed for the development of safe floating-point mathematical code. It provides a high-precision environment for evaluating mathematical expressions and proving bounds on rounding errors. This tool is essential for developers working on numerical analysis where accuracy and reliability are critical.
Key Features:
  • High-precision arithmetic evaluation
  • Automatic generation of polynomial approximations
  • Support for rigorous error bounding and certification
  • Interactive tool for numerical testing
Use Cases:
  • Verifying numerical accuracy of floating-point algorithms
  • Generating optimized polynomial approximations for mathematical functions
  • Research in computer arithmetic and numerical analysis
Alternatives:
  • GMP / MPFR – Sollya builds upon MPFR but provides higher-level functions specifically for function approximation and error analysis.
  • MATLAB / Mathematica – Sollya is specialized for rigorous floating-point analysis and code generation, whereas these are general-purpose CAS tools.
Version History
Detected Version Rev Change Commit
Sep 15, 2025 8:43am 2 VERSION_BUMP 6ec7b9aa
Sep 13, 2024 10:38pm 1 VERSION_BUMP 218bc8a9
Sep 24, 2023 10:19pm 1 VERSION_BUMP 756e60ef
« Back to VersTracker  |  Browse Packages  |  About