Online / 5 & 6 February 2022

visit

The Ada numerics model


The requirements for Ada numerics were to provide portable arithmetics without unacceptable performance cost. This talk shows how this was achieved by interval arithmetics without requiring a particular implementation model, like IEEE arithmetics.

Speakers

Photo of Jean-Pierre Rosen Jean-Pierre Rosen

Links