A Symbolic-Numeric Validation Algorithm ...
Type de document :
Pré-publication ou Document de travail
Titre :
A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method
Auteur(s) :
Bréhard, Florent [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Discipline(s) HAL :
Informatique [cs]/Analyse numérique [cs.NA]
Informatique [cs]/Calcul formel [cs.SC]
Informatique [cs]/Calcul formel [cs.SC]
Langue :
Anglais
Commentaire :
abstract for the CASC 2020 conference
Collections :
Source :
Fichiers
- https://hal.archives-ouvertes.fr/hal-03161151/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-03161151/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-03161151/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- picvalid-abstract.pdf
- Accès libre
- Accéder au document