“One sugar cube, please” or selection strategies in the Buchberger algorithm
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
How we proved that there are exactly 924 cyclic 7-roots
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Solving zero-dimensional algebraic systems
Journal of Symbolic Computation
A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
Journal of Symbolic Computation
Efficient computation of zero-dimensional Gro¨bner bases by change of ordering
Journal of Symbolic Computation
Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
A new efficient algorithm for computing Gröbner bases without reduction to zero (F5)
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Efficient isolation of polynomial's real roots
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Injectivity of real rational mappings: the case of a mixture of two Gaussian laws
Mathematics and Computers in Simulation - Special issue: Applications of computer algebra in science, engineering, simulation and special software
Solving parametric polynomial systems
Journal of Symbolic Computation
The voronoi diagram of three lines
SCG '07 Proceedings of the twenty-third annual symposium on Computational geometry
Computing real solutions of polynomial systems via low-rank moment matrix completion
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
| Hi-index | 0.00 |
In this introductory paper to the special issue, I describe first my personal view of the history of Polynomial System Solving during my career. Then I describe the main challenges which are now opened by the availability of efficient zero-dimensional solvers.