Reliable numerical evaluation of eigenvalues involved in polynomial systems solving

Fabienne Jézéquel 1 Christophe Denis Philippe Trébuchet 2
1 PEQUAN - Performance et Qualité des Algorithmes Numériques
LIP6 - Laboratoire d'Informatique de Paris 6
2 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : In order to improve the performances of symbolic algorithms for solving large polynomial systems, certified numerical computations may be performed. We present here how to control the validity of the numerical evaluation of eigenvalues involved in polynomial systems solving. The accuracy of the computed eigenvalues can be estimated from the eigenvalue condition number. Round-off errors due to the use of floating-point arithmetic for eigenvalues computation can be estimated using Discrete Stochastic Arithmetic implemented in the CADNA library. Guaranteed inclusions of the eigenvalues can be computed using the INTLAB toolbox. These numerical validation tools have been compared, taking into account the exact eigenvalues computed using symbolic algorithms. In order to improve the numerical quality of the results, experiments have also been carried out using extended precision arithmetic and the MPFR multiple precision library.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01299051
Contributor : Lip6 Publications <>
Submitted on : Thursday, April 7, 2016 - 10:11:32 AM
Last modification on : Thursday, March 21, 2019 - 1:11:58 PM

Identifiers

  • HAL Id : hal-01299051, version 1

Citation

Fabienne Jézéquel, Christophe Denis, Philippe Trébuchet. Reliable numerical evaluation of eigenvalues involved in polynomial systems solving. Computer-assisted proofs - tools, methods and applications, Nov 2009, Dagstuhl, Germany. ⟨hal-01299051⟩

Share

Metrics

Record views

61