Border Basis for Polynomial System Solving and Optimization

Philippe Trébuchet 1 Bernard Mourrain 2, * Marta Abril Bucero 3
* Auteur correspondant
2 AROMATH - AlgebRe, geOmetrie, Modelisation et AlgoriTHmes
CRISAM - Inria Sophia Antipolis - Méditerranée , UoA - 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.
Type de document :
Communication dans un congrès
Gert-Martin Greuel; Thorsten Koch; Peter Paule; Andrew Sommese ICMS 2016 - 5th International Conference on Mathematical Software, Jul 2016, Berlin, Germany. Springer, LNCS, 9725, pp.212-220, 2016, Mathematical Software - ICMS 2016. 〈10.1007/978-3-319-42432-3_27〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01356869
Contributeur : Bernard Mourrain <>
Soumis le : vendredi 26 août 2016 - 17:10:26
Dernière modification le : mardi 13 décembre 2016 - 15:44:31
Document(s) archivé(s) le : dimanche 27 novembre 2016 - 12:44:40

Fichiers

paper-icms.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Philippe Trébuchet, Bernard Mourrain, Marta Abril Bucero. Border Basis for Polynomial System Solving and Optimization. Gert-Martin Greuel; Thorsten Koch; Peter Paule; Andrew Sommese ICMS 2016 - 5th International Conference on Mathematical Software, Jul 2016, Berlin, Germany. Springer, LNCS, 9725, pp.212-220, 2016, Mathematical Software - ICMS 2016. 〈10.1007/978-3-319-42432-3_27〉. 〈hal-01356869〉

Partager

Métriques

Consultations de la notice

318

Téléchargements de fichiers

77