Modélisation et conditions de validité de la méthode CESTAC

En se basant sur une modelisation probabiliste de CESTAC, on montre, sous des hypotheses generalement verifiees dans les problemes reels, l'efficacite de la methode pour estimer la precision des resultats de calculs sur ordinateurs