Summary

This document provides comprehensive resources for numerical analysis and computation within a rigorous scientific computing framework. A certified Infinity Supremum Norm is essential for computing safe approximation error bounds, serving as a critical tool for numerical stability in high-dimensional problems. This norm is coupled with an automated implementer for approximation polynomials, developed specifically within the CRlibm style to ensure consistency with established Gappa proof techniques, thereby guaranteeing mathematical rigor throughout the calculation.

A fast Remez algorithm implementation is also included, enabling efficient minimax polynomial computation which is pivotal for analyzing numerical programs in the analysis of numerical programs. Additionally, a full-featured programming language tailored for numerical analysis like Computer-Programming Languages is offered. A faithful-rounding multi-precision evaluator extending MPFR is provided, supporting composed functional expressions with accurate rounding, including a special floating-point minimax procedure and basic MathML input/output support. Interfaces for extending Sollya with custom code are further detailed, offering significant versatility for professional users requiring precise engineering solutions. While the license grants rights to copy, modify, and redistribute, users are restricted to a limited warranty and a specific warranty that the software author, the holder of the economic rights, and the successive licensors have only limited liability, ensuring strict contractual adherence is maintained for all commercial activities.

Title

Sollya software tool

Description

Sollya software tool

Keywords

paris, documentation, software, france, list, floating, point, license, page, users, here, using, version, code, development, sorbonne, following

NS Lookup

A 147.135.36.50

Dates

Created 2026-04-15

Updated 2026-04-15

Summarized 2026-04-15