On Formal Power Series Solutions of Regular Differential Chains - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2024

On Formal Power Series Solutions of Regular Differential Chains

Abstract

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 (312.87 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Licence

Dates and versions

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

Licence

Identifiers

  • HAL Id : hal-04547418 , version 1

Cite

François Boulier, François Lemaire. On Formal Power Series Solutions of Regular Differential Chains. 2024. ⟨hal-04547418v1⟩
35 View
39 Download

Share

Gmail Mastodon Facebook X LinkedIn More