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

Bernard Mourrain 1
1 GALAAD - Geometry, algebra, algorithms
CRISAM - Inria Sophia Antipolis - Méditerranée , UNS - Université Nice Sophia Antipolis, CNRS - Centre National de la Recherche Scientifique : UMR6621
Abstract : 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.
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/inria-00137424
Contributor : Bernard Mourrain <>
Submitted on : Monday, March 19, 2007 - 5:19:49 PM
Last modification on : Thursday, January 11, 2018 - 4:04:53 PM
Long-term archiving on : Friday, September 21, 2012 - 1:06:31 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00137424, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

313

Files downloads

200