| Real quantifier elimination is doubly exponential JH Davenport, J Heintz Journal of Symbolic Computation 5 (1-2), 29-35, 1988 | 493 | 1988 |
| Definability and fast quantifier elimination in algebraically closed fields J Heintz Theoretical Computer Science 24 (3), 239-277, 1983 | 420 | 1983 |
| Testing polynomials which are easy to compute J Heintz, CP Schnorr Proceedings of the twelfth annual ACM Symposium on Theory of Computing, 262-272, 1980 | 283 | 1980 |
| Straight-line programs in geometric elimination theory M Giusti, J Heintz, JE Morais, J Morgenstem, LM Pardo Journal of pure and applied algebra 124 (1-3), 101-146, 1998 | 230 | 1998 |
| La d etermination des points isol es et de la dimension d'une vari et e alg ebrique peut se faire en temps polynomial M Giusti, J Heintz Computational algebraic geometry and commutative algebra (Cortona, 1991 …, 1993 | 202 | 1993 |
| Sur la complexité du principe de Tarski-Seidenberg J Heintz, MF Roy, P Solernó Bulletin de la Société mathématique de France 118 (1), 101-126, 1990 | 186 | 1990 |
| Lower bounds for Diophantine approximations M Giusti, J Heintz, K Hägele, JE Morais, LM Pardo, JL Montana Journal of Pure and Applied Algebra 117, 277-317, 1997 | 182 | 1997 |
| When polynomial equation systems can be “solved” fast? M Giusti, J Heintz, JE Morais, LM Pardo Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 11th …, 1995 | 160 | 1995 |
| Some new effectivity bounds in computational geometry L Caniglia, A Galligo, J Heintz International Conference on Applied Algebra, Algebraic Algorithms, and Error …, 1988 | 151 | 1988 |
| Polar varieties and efficient real elimination B Bank, M Giusti, J Heintz, GM Mbakop Mathematische Zeitschrift 238 (1), 115-144, 2001 | 118 | 2001 |
| Polar varieties, real equation solving and data-structures: the hypersurface case B Bank, M Giusti, J Heintz, GM Mbakop arXiv preprint alg-geom/9609004, 1996 | 115 | 1996 |
| Algorithmes–disons rapides–pour la décomposition d’une variété algébrique en composantes irréductibles et équidimensionnelles M Giusti, J Heintz Effective Methods in Algebraic Geometry, 169-194, 1991 | 110 | 1991 |
| On the Complexity of Semialgebraic Sets. J Heintz, P Solernó, MF Roy IFIP Congress, 293-298, 1989 | 96 | 1989 |
| Generalized polar varieties: Geometry and algorithms B Bank, M Giusti, J Heintz, LM Pardo Journal of complexity 21 (4), 377-412, 2005 | 92 | 2005 |
| On the efficiency of effective Nullstellensätze M Giusti, J Heintz, J Sabia Computational complexity 3, 56-95, 1993 | 86 | 1993 |
| Deformation techniques for efficient polynomial equation solving J Heintz, T Krick, S Puddu, J Sabia, A Waissbein journal of complexity 16 (1), 70-109, 2000 | 83 | 2000 |
| On the intrinsic complexity of elimination theory J Heintz, J Morgenstern Journal of Complexity 9 (4), 471-498, 1993 | 82 | 1993 |
| Borne simple exponentielle pour les degrés dans le théorème des zéros sur un corps de caractéristique quelconque L Caniglia, A Galligo, J Heintz CR Acad. Sci. Paris 307 (255-258), 1, 1988 | 80 | 1988 |
| The hardness of polynomial equation solving D Castro, M Giusti, J Heintz, G Matera, LM Pardo Foundations of Computational Mathematics 3, 347-420, 2003 | 79 | 2003 |
| On the geometry of polar varieties B Bank, M Giusti, J Heintz, M Safey El Din, E Schost Applicable Algebra in Engineering, Communication and Computing 21 (1), 33-83, 2010 | 78 | 2010 |
Luis M. PardoUniversidad de CantabriaVerified email at unican.es
