;. Fluctuat and .. , Rosa/Daisy (2014,2017), 2005.

, Abstract model of FPA

, ? Small size targets: 10-20 LOC Rewriting snippets Herbie, 2015.

. Fpdebug, Herbgrind (2018) Dynamic analysis (Valgrind), shadow computation: MPFR ? False positive, 2011.

, A community infrastructure for cooperation and comparison FPCore: description format for FP benchmarks Benchmarks: suite drawn for published results 111 benchs, 2018.

, Pros & Cons ? FPCore for fair comparison ? Small size cases, numerically safe case (worst 30% cases error = 5-6 bits) Others benchmarks: SPEC FPU, Hamming's book

, FPBench J.-M. Muller. On the definition of ulp(x)

, INRIA, 2005.

A. Neumaier, Revol. Influence of the Condition Number on Interval Computations: Illustration on Some Examples. in honour of Vladik Kreinovich' 65th birthday, 1991.

J. Vignes,

. Zéro-mathématique,

, French). version: December, vol.4, pp.1-13, 1987.