Taylor Series Revisited - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport Technique) Année : 2020

Taylor Series Revisited

Résumé

We propose a renovated approach around the use of Taylor expansions to provide polynomial approximations. We introduce a coinductive type scheme and finely-tuned operations that altogether constitute an algebra, where our multivariate Taylor expansions are first-class objects. As for applications, beyond providing classical expansions of integro-differential and algebraic expressions mixed with elementary functions, we demonstrate that solving ODE and PDE in a direct way, without external solvers, is also possible. We also discuss the possibility of computing certified errors within our scheme.
Fichier principal
Vignette du fichier
Thirioux_26670.pdf (1.05 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04357221 , version 1 (21-12-2023)

Identifiants

  • HAL Id : hal-04357221 , version 1
  • OATAO : 26670

Citer

Xavier Thirioux, Alexis Maffart. Taylor Series Revisited. ISAE/DISC/RT2020/1, Institut Supérieur de l'Aéronautique et de l'Espace. 2020. ⟨hal-04357221⟩
20 Consultations
14 Téléchargements

Partager

Gmail Facebook X LinkedIn More