Border Basis for Polynomial System Solving and Optimization - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Border Basis for Polynomial System Solving and Optimization


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.
Fichier principal
Vignette du fichier
paper-icms.pdf (131.8 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01356869 , version 1 (26-08-2016)



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⟩
259 View
403 Download



Gmail Mastodon Facebook X LinkedIn More