Skip to Main content Skip to Navigation
Conference papers

Border Basis for Polynomial System Solving and Optimization

Philippe Trébuchet 1 Bernard Mourrain 2, * Marta Abril Bucero 3
* Corresponding author
2 AROMATH - AlgebRe, geOmetrie, Modelisation et AlgoriTHmes
CRISAM - Inria Sophia Antipolis - Méditerranée , NKUA - National and Kapodistrian University of Athens
3 GALAAD2 - Géométrie , Algèbre, Algorithmes
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We describe the software package borderbasix dedicated to the computation of border bases and the solutions of polynomial equations. We present the main ingredients of the border basis algorithm and the other methods implemented in this package: numerical solutions from multiplication matrices, real radical computation, polynomial optimization. The implementation parameterized by the coefficient type and the choice function provides a versatile family of tools for polynomial computation with modular arithmetic, floating point arithmetic or rational arithmetic. It relies on linear algebra solvers for dense and sparse matrices for these various types of coefficients. A connection with SDP solvers has been integrated for the combination of relaxation approaches with border basis computation. Extensive benchmarks on typical polynomial systems are reported, which show the very good performance of the tool.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Bernard Mourrain Connect in order to contact the contributor
Submitted on : Friday, August 26, 2016 - 5:10:26 PM
Last modification on : Thursday, January 20, 2022 - 4:13:45 PM
Long-term archiving on: : Sunday, November 27, 2016 - 12:44:40 PM


Files produced by the author(s)




Philippe Trébuchet, Bernard Mourrain, Marta Abril Bucero. Border Basis for Polynomial System Solving and Optimization. ICMS 2016 - 5th International Conference on Mathematical Software, Jul 2016, Berlin, Germany. pp.212-220, ⟨10.1007/978-3-319-42432-3_27⟩. ⟨hal-01356869⟩



Les métriques sont temporairement indisponibles