Skip to Main content Skip to Navigation
Book sections

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 (... - 2019), 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 metadata

Cited literature [27 references]  Display  Hide  Download
Contributor : Bernard Mourrain Connect in order to contact the contributor
Submitted on : Monday, March 19, 2007 - 5:19:49 PM
Last modification on : Thursday, January 20, 2022 - 4:13:28 PM
Long-term archiving on: : Friday, September 21, 2012 - 1:06:31 PM


Files produced by the author(s)


  • HAL Id : inria-00137424, version 1



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⟩



Les métriques sont temporairement indisponibles