Solving systems of polynomial inequalities in subexponential time
Journal of Symbolic Computation
Quantifier elimination: Optimal solution for two classical examples
Journal of Symbolic Computation
A Gröbner free alternative for polynomial system solving
Journal of Complexity
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Complete Solution Classification for the Perspective-Three-Point Problem
IEEE Transactions on Pattern Analysis and Machine Intelligence
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
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
Global Optimization of Polynomials Using Gradient Tentacles and Sums of Squares
SIAM Journal on Optimization
Solving parametric polynomial systems
Journal of Symbolic Computation
A delineability-based method for computing critical sets of algebraic surfaces
Journal of Symbolic Computation
The voronoi diagram of three lines
SCG '07 Proceedings of the twenty-third annual symposium on Computational geometry
Hi-index | 0.00 |
Let be a polynomial of degree D. Computing the set of generalized critical valuesof the mapping (i.e. ) is an important step in algorithms computing sampling points in semi-algebraic sets defined by a single inequality.A previous algorithm allows us to compute the set of generalized critical values of $\widetilde{f}$. This one is based on the computation of the critical locus of a projection on a plane P. This plane Pmust be chosen such that some global properness properties of some projections are satisfied. These properties, which are generically satisfied, are difficult to check in practice. Moreover, choosing randomly the plane Pinduces a growth of the coefficients appearing in the computations.We provide here a new certified algorithm computing the set of generalized critical values of $\widetilde{f}$. This one is still based on the computation of the critical locus on a plane P. The certification process consists here in checking that this critical locus has dimension 1 (which is easy to check in practice), without any assumption of global properness. Moreover, this allows us to limit the growth of coefficients appearing in the computations by choosing a plane Pdefined by sparse equations. Additionally, we prove that the degree of this critical curve is bounded by $(D-1)^{n-1}-\mathfrak{d}$ where $\mathfrak{d}$ is the sum of the degrees of the positive dimensional components of the ideal $\langle \frac{\partial f}{\partial X_1}, \ldots,\frac{\partial f}{\partial X_n}\rangle$.We also provide complexity estimates on the number of arithmetic operations performed by a probabilistic version of our algorithm.Practical experiments at the end of the paper show the relevance and the importance of these results which improve significantly in practice previous contributions.