3 datasets found

For purposes of evaluation and manipulation, mathematical functions f are commonly replaced by approximation polynomials p. Examples include floating-point...

International audience

We present in this report a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential...