31 citations · 51 across the 10 of their papers we have counts for
10 papers
Degeneracy loci and polynomial equation solving
Bernd Bank, Marc Giusti, Joos Heintz +3
Let V be a smooth equidimensional quasi-affine variety of dimension r over the complex numbers and let be a -matrix of coordinate functions of , where $s…
Intrinsic complexity estimates in polynomial optimization
Bernd Bank, Marc Giusti, Joos Heintz +1
It is known that point searching in basic semialgebraic sets and the search for globally minimal points in polynomial optimization tasks can be carried out using ar…
The evaluation of geometric queries: constraint databases and quantifier elimination
Marc Giusti, Joos Heintz, Bart Kuijpers
We model the algorithmic task of geometric elimination (e.g., quantifier elimination in the elementary field theories of real and complex numbers) by means of certain constraint da…
On the geometry of polar varieties
B. Bank, M. Giusti, J. Heintz +2
We have developed in the past several algorithms with intrinsic complexity bounds for the problem of point finding in real algebraic varieties. Our aim here is to give a comprehens…
The hardness of polynomial equation solving
David Castro, Marc Giusti, Joos Heintz +2
In this paper we investigate the intrinsic sequential time complexity of universal elimination procedures for arbitrary continuous data structures encoding input and output objects…
Polar Varieties and Efficient Real Elimination
B. Bank, M. Giusti, J. Heintz +1
Let be a smooth and compact real variety given by a reduced regular sequence of polynomials . This paper is devoted to the algorithmic problem of finding {\em…