Probabilistic Algorithms for Computing Resolvent Representations of Regular Differential Ideals - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Applicable Algebra in Engineering, Communication and Computing Année : 2008

Probabilistic Algorithms for Computing Resolvent Representations of Regular Differential Ideals

Evelyne Hubert
Thomas Cluzeau

Résumé

In a previous article, we proved the existence of resolvent representations for regular differential ideals. The present paper provides practical algorithms for computing such representations. We propose two different approaches. The first one uses differential characteristic decompositions whereas the second one proceeds by prolongation and algebraic elimination. Both constructions depend on the choice of a tuple over the differential base field and their success relies on the chosen tuple to be separating. The probabilistic aspect of the algorithms comes from this choice. To control it, we exhibit a family of tuples for which we can bound the probability that one of its element is separating.
Fichier principal
Vignette du fichier
CluzHub2.pdf (331.62 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00089287 , version 1 (17-08-2006)

Identifiants

Citer

Evelyne Hubert, Thomas Cluzeau. Probabilistic Algorithms for Computing Resolvent Representations of Regular Differential Ideals. Applicable Algebra in Engineering, Communication and Computing, 2008, 19 (5), pp.365-392. ⟨10.1007/s00200-008-0079-8⟩. ⟨inria-00089287⟩
58 Consultations
164 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More