Pythagore's Dilemma, Symbolic-Numeric Computation, and the Border Basis Method - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2007

Pythagore's Dilemma, Symbolic-Numeric Computation, and the Border Basis Method

Bernard Mourrain

Résumé

In this tutorial paper, we first discuss the motivation of doing symbolic-numeric computation, with the aim of developing efficient and certified polynomial solvers. We give a quick overview of fundamental algebraic properties, used to recover the roots of a polynomial system, when we know the multiplicative structure of its quotient algebra. Then, we describe the border basis method, justifying and illustrating the approach on several simple examples. In particular, we show its usefulness in the context of solving polynomial systems, with approximate coefficients. The main results are recalled and we prove a new result on the syzygies, naturally associated with commutation properties. Finally, we describe an algorithm and its implementation for computing such border bases.
Fichier principal
Vignette du fichier
paper.pdf (211.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00137424 , version 1 (19-03-2007)

Identifiants

  • HAL Id : inria-00137424 , version 1

Citer

Bernard Mourrain. Pythagore's Dilemma, Symbolic-Numeric Computation, and the Border Basis Method. Dongming Wang and Lihong Zhi. Symbolic-Numeric Computation, Birkhauser, pp.223--243, 2007, Trends in Mathematics. ⟨inria-00137424⟩
117 Consultations
244 Téléchargements

Partager

Gmail Facebook X LinkedIn More