On Formal Power Series Solutions of Regular Differential Chains - CRIStAL - Calcul Formel et Haute Performance
Proceedings/Recueil Des Communications Lecture Notes in Computer Science Année : 2024

On Formal Power Series Solutions of Regular Differential Chains

Résumé

In their celebrated 1984 article, Denef and Lipshitz provide an algorithm for deciding whether a finite system of ordinary differential polynomials has formal power series solutions. This algorithm has never been implemented. In this paper, we describe some key algorithmic tools for transforming this decision result into practical software.
Fichier principal
Vignette du fichier
paper-casc-2024.pdf (342.28 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04547418 , version 1 (15-04-2024)
hal-04547418 , version 2 (29-04-2024)
hal-04547418 , version 3 (11-09-2024)

Identifiants

Citer

François Boulier, François Lemaire. On Formal Power Series Solutions of Regular Differential Chains. Computer Algebra in Scientific Computing (CASC), Lecture Notes in Computer Science, 14938, Springer Verlag, pp.82-99, 2024, Computer Algebra in Scientific Computing, 978-3-031-69069-3. ⟨10.1007/978-3-031-69070-9_6⟩. ⟨hal-04547418v3⟩
123 Consultations
92 Téléchargements

Altmetric

Partager

More