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

The DenefLipshitz Algorithm

Résumé

In their celebrated 1984 article, Denef and Lipshitz prove a theorem which states the existence of an algorithm for deciding whether a finite system of ordinary differential polynomials has formal power series solutions. In this paper, we turn the algorithmic ideas of Denef and Lipshitz into a practical algorithm, called DenefLipshitz, which actually solves a more general problem.

Dans leur célèbre article de 1984, Denef et Lipshitz prouvent un théorème qui affirme l'existence d'un algorithme pour décider si un système fini de polynômes différentiels admet des solutions en série entière. Dans cet article-ci, nous transformons les idées algorithmiques de Denef et Lipshitz en un véritable algorithme, appelé DenefLipshitz, qui résout en fait un problème plus général.

Fichier principal
Vignette du fichier
blv25.pdf (796.91 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05294349 , version 1 (02-10-2025)
hal-05294349 , version 2 (24-10-2025)
hal-05294349 , version 3 (06-01-2026)

Licence

Identifiants

  • HAL Id : hal-05294349 , version 1

Citer

François Boulier, François Lemaire, Thi Xuan Vu. The DenefLipshitz Algorithm. 2025. ⟨hal-05294349v1⟩
718 Consultations
452 Téléchargements

Partager

  • More