6 citations · 12 across the 6 of their papers we have counts for
6 papers
Quiz Games as a model for Information Hiding
Bernd Bank, Joos Heintz, Guillermo Matera +3
We present a general computation model inspired in the notion of information hiding in software engineering. This model has the form of a game which we call quiz game. It allows in…
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…
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…
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…
Polar Varieties, Real Equation Solving and Data-Structures: The hypersurface case
B. Bank, M. Giusti, J. Heintz +1
In this paper we apply for the first time a new method for multivariate equation solving which was developed in \cite{gh1}, \cite{gh2}, \cite{gh3} for complex root determination to…