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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |