Solving polynomial systems. Algorithms and Applications.
Abstract
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, ...).