sollya

Library for safe floating-point code development and verification

brewmacoslinux
Try with needOr install directly
Source

About

Library for safe floating-point code development

Commands

sollya

Examples

Start interactive Sollya session for numerical computations$ sollya
Execute a Sollya script file$ sollya script.sollya
Perform polynomial approximation and generate C code$ sollya -e 'f = sin(x); p = remez(f, 5, [-1, 1]); print(p);'