On the Complexity of Computing Critical Points with Gröbner Bases

Pierre-Jean Spaenlehauer

Computing the critical points of a polynomial function $q\in \mathbb{Q}[X_1,\dots ,X_n]$ restricted to the vanishing locus $V\subset {\mathbb{R}}^n$ of polynomials $f_1,\ldots, f_p\in\ma…