Solving polynomial systems. Algorithms and Applications. - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

Solving polynomial systems. Algorithms and Applications.

Résumé

This talk presents new algorithms for solving polynomial systems and in particular two new efficient algorithms for computing Gröbner bases. To avoid as much as possible intermediate computation, the F4 algorithm computes successive truncated Gröbner bases and replaces the classical polynomial reduction found in the Buchberger algorithm by the simultaneous reduction of several polynomials. This powerful reduction mechanism is achieved by means of a symbolic precomputation and by extensive use of sparse linear algebra methods. A second algorithm, called F5, eliminate the Buchberger criteria so that there is no reduction to zero during the computation when the input system is a regular sequence. In a second part of the talk we review different applications solved by these algorithms/programs (Robotic, Cryptography, N body problem, Coding theory, ...).

Mots clés

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00100675 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100675 , version 1

Citer

Jean-Charles Faugère. Solving polynomial systems. Algorithms and Applications.. Computer Algebra in Applications to Integrable Systems, 2001, Cambridge, England. ⟨inria-00100675⟩
64 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More