Computing Canonical Representatives of Regular Differential Ideals - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

Computing Canonical Representatives of Regular Differential Ideals

Résumé

In this paper, we give three theoretical and practical contributions for solving polynomial ODE or PDE systems. The first one is practical: an algorithm which improves the purely algebraic part of Rosenfeld-Gröbner. It is a variant of lextriangular but does not need any Gröbner basis computation. The second one is theoretical: a characterization of the output of Rosenfeld-Gröbner and a clarification of the relationship between algebraic and differential characteristic sets. The third one is theoretical as well as practical: an algorithm to compute canonical representatives of differential polynomials modulo regular differential ideals without any use of Gröbner bases.
Fichier principal
Vignette du fichier
BL00.pdf (239.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00139177 , version 1 (30-03-2007)

Identifiants

Citer

François Boulier, François Lemaire. Computing Canonical Representatives of Regular Differential Ideals. International Symposium on Symbolic and Algebraic Computation, 2000, France. pp.37-46, ⟨10.1145/345542.345571⟩. ⟨hal-00139177⟩
237 Consultations
387 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More