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 , 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.
Liste complète des métadonnées

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01356869
Contributor : Bernard Mourrain <>
Submitted on : Friday, August 26, 2016 - 5:10:26 PM
Last modification on : Thursday, February 7, 2019 - 5:55:53 PM
Document(s) archivé(s) le : Sunday, November 27, 2016 - 12:44:40 PM

Files

paper-icms.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

468

Files downloads

145