Multiple-precision correctly rounded Newton-Cotes quadrature
Abstract
L'intégration numérique est une opération importante pour le calcul scientifique. Bien que les différentes méthodes d'intégration aient été bien étudiées d'un point de vue mathématique, l'analyse de l'erreur commise lors d'un calcul numérique est souvent omise. Cette étape est cependant nécessaire dans le cadre de l'arithmétique certifiée des ordinateurs. Nous étudions la méthode d'intégration numérique de Newton-Cotes en fournissant suffisamment de détails concernant les algorithmes et les bornes d'erreurs pour permettre une implémentation avec arrondi correct.