A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method

Pré-Publication, Document De Travail Année : 2020

(1, 2)

1
2

Florent Bréhard

Uppsala Universitet [Uppsala]

Computer-aided proofs in analysis [Uppsala]

Analyse numérique [cs.NA] Calcul formel [cs.SC]

Fichier principal

picvalid-abstract.pdf (220.6 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-03161151

Soumis le : vendredi 5 mars 2021-17:16:00

Dernière modification le : vendredi 13 octobre 2023-03:28:20

Archivage à long terme le : dimanche 6 juin 2021-19:21:42

hal-03161151 , version 1 (05-03-2021)

Florent Bréhard. A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method. 2020. ⟨hal-03161151⟩

18 Consultations

56 Téléchargements