Base approximative de Gröbner

Résumé La méthode des bases de Gröbner est un outil important pour résoudre des équations polynômes. Lorsque nous travaillons avec des grands systèmes qui consistent de polynômes avec des coefficients de nombres entiers, les algorithmes exacts existants sont habituellement des CPU- intensif et de la mémoire-intensive. Les demandes pour d un rendement plus élevé et d un coût de mémoire plus bas exigent des calculs numériques utilisant des nombres à virgule flottante. Cependant, il a été souvent dit dans plusieurs littératures que le calcul numérique des bases de Gröbner est fortement instable. Dans cette thèse, le problème des instabilités est étudié par l intermédiaire d une série de techniques en choisissant des longueurs appropriées de nombres à virgule flottante, de tracer les pertes de précision de coefficients dans les polynômes, d identifier les zéros, et de pivoter des principaux monômes de polynômes. En outre, nous avons implanté une théorie pour le phénomène de la discontinuité artificielle dans un cas simple-paramétrique. Nous avons mis en application nos algorithmes à l intérieur de Maple13 avec ces techniques pour calculer les bases approximatives de Gröbner. Les expériences démontrent que les algorithmes peuvent traiter les systèmes polynômes indécis, bien que nos implémentations aient de grand espace pour être optimiser.PARIS-BIUSJ-Mathématiques rech (751052111) / SudocSudocFranceF