Library for safe floating-point code development and verification
Library for safe floating-point code development
sollya
$ sollya
$ sollya script.sollya
$ sollya -e 'f = sin(x); p = remez(f, 5, [-1, 1]); print(p);'