| Real quantifier elimination is doubly exponential JH Davenport, J Heintz Journal of Symbolic Computation 5 (1-2), 29-35, 1988 | 543 | 1988 |
| Definability and fast quantifier elimination in algebraically closed fields J Heintz Theoretical Computer Science 24 (3), 239-277, 1983 | 442 | 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 | 298 | 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 | 240 | 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 …, 1991 | 205 | 1991 |
| 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 | 197 | 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 | 189 | 1997 |
| When polynomial equation systems can be “solved” fast? M Giusti, J Heintz, JE Morais, LM Pardo International Symposium on Applied Algebra, Algebraic Algorithms, and Error …, 1995 | 168 | 1995 |
| Some new effectivity bounds in computational geometry L Caniglia, A Galligo, J Heintz International Conference on Applied Algebra, Algebraic Algorithms, and Error …, 1988 | 160 | 1988 |
| Polar varieties and efficient real elimination B Bank, M Giusti, J Heintz, GM Mbakop Mathematische Zeitschrift 238 (1), 115-144, 2001 | 121 | 2001 |
| Polar varieties, real equation solving, and data structures: the hypersurface case B Bank, M Giusti, J Heintz, GM Mbakop Journal of complexity 13 (1), 5-27, 1997 | 119 | 1997 |
| 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 | 107 | 1991 |
| On the Complexity of Semialgebraic Sets. J Heintz, P Solernó, MF Roy IFIP Congress, 293-298, 1989 | 102 | 1989 |
| Generalized polar varieties: Geometry and algorithms B Bank, M Giusti, J Heintz, LM Pardo Journal of complexity 21 (4), 377-412, 2005 | 94 | 2005 |
| 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 | 87 | 2000 |
| On the efficiency of effective Nullstellensätze M Giusti, J Heintz, J Sabia Computational complexity 3 (1), 56-95, 1993 | 87 | 1993 |
| On the intrinsic complexity of elimination theory J Heintz, J Morgenstern Journal of Complexity 9 (4), 471-498, 1993 | 85 | 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, 1988 | 81 | 1988 |
| 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 | 79 | 2010 |
| The hardness of polynomial equation solving D Castro, M Giusti, J Heintz, G Matera, LM Pardo Foundations of Computational Mathematics 3 (4), 347-420, 2003 | 79 | 2003 |
Luis M. PardoUniversidad de CantabriaVerified email at unican.es
