An Overview of Numalis Software Suite for Reliable Numerical Computation.

Arnault Ioualalen, Matthieu Martel, Nicolas Normand

Browse the full ISSRE paper archive.