activity
19962025
most citedPolar Varieties and Efficient Real Equation Solving: The Hypersurface Case

31 citations · 78 across the 16 of their papers we have counts for

collaborators

18 papers

math.AG2025

A Kronecker algorithm for locally closed sets over a perfect field

Nardo Giménez, Joos Heintz, Guillermo Matera +3

We develop a probabilistic algorithm of Kronecker type for computing a Kronecker representation of a zero-dimensional linear section of an algebraic variety defined over a perf…

cs.LG2022

An unfeasability view of neural network learning

Joos Heintz, Hvara Ocar, Luis Miguel Pardo +2

We define the notion of a continuously differentiable perfect learning algorithm for multilayer neural network architectures and show that such algorithms don't exist provided that…

cs.SC2017

On Bezout Inequalities for non-homogeneous Polynomial Ideals

Amir Hashemi, Joos Heintz, Luis Miguel Pardo +1

We introduce a "workable" notion of degree for non-homogeneous polynomial ideals and formulate and prove ideal theoretic Bézout Inequalities for the sum of two ideals in terms of t…

math.AG2015★ 6 cited

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…

math.AG2013★ 1 cited

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…

cs.SC2013★ 1 cited

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…