CV Accueil - Archive ouverte HAL

Publications

	Round-off error and exceptional behavior analysis of explicit Runge-Kutta methods Sylvie Boldo , Florian Faissole , Alexandre Chapoutot IEEE Transactions on Computers, 2019, ⟨10.1109/TC.2019.2917902⟩ Article dans une revue hal-01883843v3

	A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers Sylvie Boldo , Florian Faissole , Vincent Tourneur 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States Communication dans un congrès hal-01772272v1