Analyses de terminaison des calculs flottants. (Termination Analysis of Floating-Point Computations)

Fonenantsoa Maurica. Analyses de terminaison des calculs flottants. (Termination Analysis of Floating-Point Computations). PhD thesis, University of La RĂ©union, Saint-Denis, France, 2017. [doi]

Abstract

Abstract is missing.