Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation - Archive ouverte HAL
Poster De Conférence Année : 2016

Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation

Olivier Mullier
Sûreté et Fiabilité des Logiciels
Alexandre Chapoutot
Sûreté et Fiabilité des Logiciels
CV
Julien Alexandre Dit Sandretto
Sûreté et Fiabilité des Logiciels
CV

Résumé

In this paper, we propose a novel approach to bound the local truncation error based on the order condition which is usable for explicit and implicit Runge-Kutta methods.

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
article.pdf (204.31 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Alexandre Chapoutot  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01316503

Soumis le : mardi 17 mai 2016-11:15:20

Dernière modification le : lundi 5 août 2024-14:50:04

Archivage à long terme le : mercredi 16 novembre 2016-06:47:26

Télécharger pour visualiser

Dates et versions

hal-01316503 , version 1 (17-05-2016)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

  • HAL Id : hal-01316503 , version 1

Citer

Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation. nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom. . ⟨hal-01316503⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA ENSTA_U2IS UNIV-PARIS-SACLAY
65 Consultations
257 Téléchargements

Partager

More