×
Author ID: heintz.joos Recent zbMATH articles by "Heintz, Joos"
Published as: Heintz, Joos; Heintz, J.
Homepage: https://www.dc.uba.ar/inst/profesores/heintz
External Links: Math-Net.Ru
Member of Collective: Fitchas, Noaï
Documents Indexed: 77 Publications since 1976, including 1 Book
1 Further Contribution
Reviewing Activity: 29 Reviews
Co-Authors: 43 Co-Authors with 70 Joint Publications
740 Co-Co-Authors
all top 5

Co-Authors

8 single-authored
23 Giusti, Marc
19 Solernó, Pablo
18 Bank, Bernd
18 Pardo, Luis Miguel
10 Matera, Guillermo
10 Roy, Marie-Françoise
8 Krick, Teresa
5 Kuijpers, Bart H. M.
5 Mandel, Reinhard
5 Montaña, José Luis
4 Caniglia, Leandro
4 Mbakop, Guy Merlin
4 Morais, Jose Enrique
4 Paredes, Andrés Rojas
3 Aldaz, Mikel
3 de Groote, Hans F.
3 Galligo, André
3 Morgenstern, Jacques
3 Sieveking, Malte
2 Grimson, Rafael
2 Hashemi, Amir
2 Sabia, Juan
2 Safey El Din, Mohab
2 Schnorr, Claus Peter
2 Slisenko, A. O.
2 Wachenchauzer, Rosita
2 Waissbein, Ariel
1 Angluin, Dana
1 Bloniarz, Peter A.
1 Borodin, Allan B.
1 Brent, Richard Peirce
1 Brown, Donna J.
1 Carlson, David A.
1 Castro, David
1 Chazelle, Bernard
1 Cook, Stephen Arthur
1 Cortiñas, Guillermo H.
1 Cypher, A.
1 Danón, Silvia
1 Davenport, James Harold
1 DeMillo, Richard Allan
1 Dobkin, David P.
1 Ehrig, Hartmut
1 Fagin, Ronald
1 Filotti, I. S.
1 Fischer, Michael J.
1 Frederickson, Greg N.
1 Giménez, Nardo
1 Grigor’ev, Dmitriĭ Yur’evich
1 Guibas, Leonidas John
1 Hägele, Klemens
1 Hoffmann, Christoph M.
1 Hong, Jiawei
1 Ibarra, Oscar H.
1 Ja’Ja’, Joseph F.
1 Johnson, Donald B.
1 Joseph, Deborah
1 Kannan, Ravindran
1 Karp, Richard Manning
1 Kung, H. T.
1 Lecerf, Grégoire
1 Lehmann, Lutz
1 Leininger, Brian S.
1 Lichtenstein, David
1 Lipton, Richard Jay
1 Lloyd, Errol L.
1 Lynch, Nancy Ann
1 Mahr, Bernd
1 Mayer, Jack N.
1 Meyer, Albert Ronald
1 Miller, Gary Lee
1 Miller, Raymond E.
1 Mirkowska, Grazyna
1 Möhler, Stefan
1 Ocar, Hvara
1 Overmars, Mark H.
1 Parikh, Rohit
1 Paterson, Mike S.
1 Paul, Wolfgang Jakob
1 Pippenger, Nicholas J.
1 Plaisted, David Alan
1 Pratt, Vaughan R.
1 Puddu, Susana
1 Recio, Tomas
1 Reif, John H.
1 Reingold, Edward Martin
1 Sadri, Fereidoon
1 Savage, John E.
1 Schost, Éric
1 Segura, Enrique Carlos
1 Seiferas, Joel I.
1 Simon, Janos
1 Spirakis, Paul G.
1 Storer, James A.
1 Strong, H. Raymond
1 Supowit, Kenneth J.
1 Tarjan, Robert Endre
1 Tompa, Martin
1 Toueg, Sam
1 Ukkonen, Esko
...and 5 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

67 Publications have been cited 1,185 times in 537 Documents Cited by Year
Definability and fast quantifier elimination in algebraically closed fields. Zbl 0546.03017
Heintz, Joos
172
1983
Real quantifier elimination is doubly exponential. Zbl 0663.03015
Davenport, James H.; Heintz, Joos
103
1988
Straight-line programs in geometric elimination theory. Zbl 0944.12004
Giusti, M.; Heintz, J.; Morais, J. E.; Morgenstern, J.; Pardo, Luis M.
74
1998
Lower bounds for diophantine approximations. Zbl 0871.68101
Giusti, M.; Heintz, J.; Hägele, K.; Morais, J. E.; Pardo, L. M.; Montaña, J. L.
52
1997
When polynomial equation systems can be “solved” fast? Zbl 0902.12005
Giusti, M.; Heintz, J.; Morais, J. E.; Pardo, L. M.
50
1995
Testing polynomials which are easy to compute. Zbl 0483.68043
Heintz, J.; Schnorr, C.-P.
46
1982
The determination of isolated points and of the dimension of an algebraic variety can be done in polynomial time. (La détermination des points isolés et de la dimension d’une variété algébrique peut se faire en temps polynomial.) Zbl 0829.14029
Giusti, Marc; Heintz, Joos
45
1993
On the geometry of polar varieties. Zbl 1186.14060
Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab; Schost, Eric
37
2010
Polar varieties and efficient real elimination. Zbl 1073.14554
Bank, B.; Giusti, M.; Heintz, J.; Mbakop, G. M.
36
2001
Generalized polar varieties: geometry and algorithms. Zbl 1085.14047
Bank, B.; Giusti, M.; Heintz, J.; Pardo, Luis M.
34
2005
On the complexity of the Tarski-Seidenberg principle. (Sur la complexité du principe de Tarski-Seidenberg.) Zbl 0767.03017
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo
33
1990
Polar varieties, real equation solving, and data structures: the hypersurface case. Zbl 0872.68066
Bank, B.; Giusti, M.; Heintz, J.; Mbakop, G. M.
32
1997
Deformation techniques for efficient polynomial equation solving. Zbl 1041.65044
Heintz, Joos; Krick, Teresa; Puddu, Susana; Sabia, Juan; Waissbein, Ariel
27
2000
The hardness of polynomial equation solving. Zbl 1049.68070
Castro, D.; Giusti, M.; Heintz, J.; Matera, G.; Pardo, Luis M.
26
2003
On the efficiency of effective Nullstellensätze. Zbl 0824.68051
Giusti, Marc; Heintz, Joos; Sabia, Juan
25
1993
Some new effectivity bounds in computational geometry. Zbl 0685.68044
Caniglia, Leandro; Galligo, André; Heintz, Joos
25
1989
Algorithmes - disons rapides - pour la décomposition d’une variété algébrique en composantes irréductibles et équidimensionelles. (So- called fast algorithms for the decomposition of an algebraic variety into irreducible and equidimensional components). Zbl 0755.14018
Giusti, Marc; Heintz, Joos
23
1991
Generalized polar varieties and an efficient real elimination. Zbl 1249.14019
Bank, Bernd; Giusti, Marc; Heintz, Joos; Pardo, Luis M.
22
2004
Lower bounds for polynomials with algebraic coefficients. Zbl 0452.68051
Heintz, Joos; Sieveking, Malte
21
1980
On the time-space complexity of geometric elimination procedures. Zbl 0977.68101
Heintz, Joos; Matera, Guillermo; Waissbein, Ariel
21
2001
On the intrinsic complexity of elimination theory. Zbl 0835.68054
Heintz, Joos; Morgenstern, Jacques
20
1993
Absolute primality of polynomials is decidable in random polynomial time in the number of variables. Zbl 0462.68025
Heintz, Joos; Sieveking, Malte
18
1981
The role of data structures for elimination problems. (Le rôle des structures de données dans les problèmes d’élimination.) Zbl 0893.68144
Giusti, Marc; Heintz, Joos; Morais, Jose Enrique; Pardo, Luis Miguel
18
1997
Exponential simple bound for the degrees in the Nullstellensatz over a field of arbitrary characteristic. (Borne simple exponentielle pour les degrés dans le théorème des zéros sur un corps de caractéristique quelconque.) Zbl 0686.14001
Caniglia, Léandro; Galligo, André; Heintz, Joos
16
1988
On the theoretical and practical complexity of the existential theory of reals. Zbl 0780.68058
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo
14
1993
On the computational complexity of polynomials and bilinear mappings. A survey. Zbl 0678.68036
Heintz, Joos
14
1989
Intrinsic complexity estimates in polynomial optimization. Zbl 1302.65296
Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab
13
2014
Kronecker’s smart, little black boxes. Zbl 0978.65043
Giusti, Marc; Heintz, Joos
12
2001
Single exponential path finding in semi-algebraic sets. II: The general case. Zbl 0921.14039
Heintz, Joos; Roy, Marie-Francoise; Solerno, Pablo
11
1994
Description of the connected components of a semialgebraic set in single exponential time. Zbl 0970.68201
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo
11
1994
Equations for the projective closure and effective Nullstellensatz. Zbl 0751.14037
Caniglia, L.; Galligo, A.; Heintz, J.
11
1991
Algorithms in real algebraic geometry and applications to computational geometry. Zbl 0751.14038
Heintz, Joos; Recio, Tomas; Roy, Marie-Françoise
10
1991
Complexity of Tarski- Seidenberg’s principle. (Complexité du principe de Tarski-Seidenberg.) Zbl 0704.03013
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo
9
1989
Degeneracy loci and polynomial equation solving. Zbl 1341.14022
Bank, Bernd; Giusti, Marc; Heintz, Joos; Lecerf, Grégoire; Matera, Guillermo; Solernó, Pablo
8
2015
Algorithmic aspects of Suslin’s proof of Serre’s conjecture. Zbl 0824.68049
Caniglia, Leandro; Cortiñas, Guillermo; Danón, Silvia; Heintz, Joos; Krick, Teresa; Solernó, Pablo
8
1993
Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces. Zbl 1246.14071
Bank, Bernd; Giusti, Marc; Heintz, Joos; Lehmann, Lutz; Pardo, Luis Miguel
7
2012
The intrinsic complexity of parametric elimination methods. Zbl 0915.68073
Heintz, J.; Matera, G.; Pardo, L. M.; Wachenchauzer, R.
6
1998
On the intrinsic complexity of point finding in real singular hypersurfaces. Zbl 1206.68136
Bank, Bernd; Giusti, Marc; Heintz, Joos; Pardo, Luis Miguel
6
2009
Commutative algebras of minimal rank. Zbl 0527.68027
de Groote, Hans F.; Heintz, Joos
5
1983
Single exponential path finding in semialgebraic sets. I: The case of a regular bounded hypersurface. Zbl 0764.14023
Heintz, Joos; Roy, Marie-Francoise; Solernó, Pablo
5
1991
Software engineering and complexity in effective algebraic geometry. Zbl 1278.68355
Heintz, Joos; Kuijpers, Bart; Paredes, Andrés Rojas
4
2013
Bipolar varieties and real solving of a singular polynomial equation. Zbl 1246.14072
Bank, Bernd; Giusti, Marc; Heintz, Joos; Pardo, Luis Miguel
4
2010
On polynomials with symmetric Galois group which are easy to compute. Zbl 0637.12013
Heintz, Joos
4
1986
Definability bounds of first order theories of algebraically closed fields. Zbl 0439.03003
Heintz, Joos
3
1979
Combinatorial hardness proofs for polynomial evaluation (extended abstract). Zbl 0911.68084
Aldaz, Mikel; Heintz, Joos; Matera, Guillermo; Montaña, José L.; Pardo, Luis M.
3
1998
Constraint databases, data structures and efficient query evaluation. Zbl 1080.68578
Heintz, Joos; Kuijpers, Bart
3
2004
On associative algebras of minimal rank. Zbl 0601.16018
Heintz, Joos; Morgenstern, Jacques
3
1986
Counting connected components of a semi-algebraic set in single exponential time. (Comptage des composantes connexes d’un ensemble semi-algébrique en temps simplement exponentiel.) Zbl 0752.14043
Grigor’ev, Dima Yurevitch; Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo; Vorobjov, Nicolai Nicolaievitch jun.
3
1990
Quiz games as a model for information hiding. Zbl 1352.68084
Bank, Bernd; Heintz, Joos; Matera, Guillermo; Montaña, José Luis; Pardo, Luis M.; Rojas Paredes, Andrés
3
2016
Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity. Zbl 1281.68239
Bank, Bernd; Giusti, Marc; Heintz, Joos
3
2014
Time-space tradeoffs in algebraic complexity theory. Zbl 0951.68042
Aldaz, M.; Heintz, J.; Matera, G.; Montaña, J. L.; Pardo, Luis M.
2
2000
Polar varieties and efficient real equation solving: The hypersurface case. Zbl 0944.12005
Bank, B.; Giusti, M.; Heintz, J.; Mandel, R.; Mbakop, G. M.
2
1997
Untere Schranken für die Komplexität logischer Entscheidungsprobleme. Zbl 0343.02035
Heintz, Joos
2
1976
A lower bound for the bilinear complexity of some semisimple Lie algebras. Zbl 0616.68038
de Groote, Hans F.; Heintz, Joos
2
1986
On the intrinsic complexity of elimination problems in effective algebraic geometry. Zbl 1317.68058
Heintz, Joos; Kuijpers, Bart; Rojas Paredes, Andrés
2
2013
Definability and fast quantifier elimination in algebraically closed fields. Zbl 0589.03010
Heintz, Joos
2
1985
Lower complexity bounds for interpolation algorithms. Zbl 1277.65008
Giménez, Nardo; Heintz, Joos; Matera, Guillermo; Solernó, Pablo
2
2011
Description of the connected components of a semi-algebraic set in single exponential time. (Description des composantes connexes d’un ensemble semialgébrique en temps simplement exponentiel.) Zbl 0764.14024
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo
2
1991
Intrinsic complexity for constructing zero-dimensional Gröbner bases. Zbl 1514.13027
Hashemi, Amir; Heintz, Joos; Pardo, Luis M.; Solernó, Pablo
2
2020
Le rapport entre le temps et l’espace pour l’évaluation des polynômes. (Time-space tradeoffs for polynomial evaluation.) Zbl 0928.68127
Aldaz, Mikel; Heintz, Joos; Matera, Guillermo; Montaña, José Luis; Pardo, Luis Miguel
1
1998
Functional programming concepts and straight-line programs in computer algebra. Zbl 1005.68187
Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R.
1
2002
Efficient evaluation of specific queries in constraint databases. Zbl 1260.68135
Grimson, Rafael; Heintz, Joos; Kuijpers, Bart
1
2011
Construction of the shortest path around semialgebraic obstacles in the plane. Zbl 0761.14019
Krick, T.; Slisenko, A. O.; Solerno, P.; Heintz, J.
1
1991
Une borne géométrique pour la programmation entière à contraintes polynomiales. (A geometrical bound for integer programming with polynomial constraints). Zbl 0692.90074
Bank, Bernd; Heintz, Joos; Krick, Teresa; Mandel, Reinhard; Solernó, Pablo
1
1990
Geometric problems solvable in single exponential time. Zbl 0756.14031
Heintz, Joos; Krick, Teresa; Roy, Marie-Françoise; Solernó, Pablo
1
1991
Search for shortest path around semialgebraic obstacles in the plane. Zbl 0835.14023
Krick, T.; Slisenko, A. O.; Solernó, Pablo; Heintz, J.
1
1991
Zur Berechnungskomplexität von Polynomen und bilinearen Abbildungen. Zbl 0619.68038
Heintz, Joos
1
1985
Intrinsic complexity for constructing zero-dimensional Gröbner bases. Zbl 1514.13027
Hashemi, Amir; Heintz, Joos; Pardo, Luis M.; Solernó, Pablo
2
2020
Quiz games as a model for information hiding. Zbl 1352.68084
Bank, Bernd; Heintz, Joos; Matera, Guillermo; Montaña, José Luis; Pardo, Luis M.; Rojas Paredes, Andrés
3
2016
Degeneracy loci and polynomial equation solving. Zbl 1341.14022
Bank, Bernd; Giusti, Marc; Heintz, Joos; Lecerf, Grégoire; Matera, Guillermo; Solernó, Pablo
8
2015
Intrinsic complexity estimates in polynomial optimization. Zbl 1302.65296
Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab
13
2014
Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity. Zbl 1281.68239
Bank, Bernd; Giusti, Marc; Heintz, Joos
3
2014
Software engineering and complexity in effective algebraic geometry. Zbl 1278.68355
Heintz, Joos; Kuijpers, Bart; Paredes, Andrés Rojas
4
2013
On the intrinsic complexity of elimination problems in effective algebraic geometry. Zbl 1317.68058
Heintz, Joos; Kuijpers, Bart; Rojas Paredes, Andrés
2
2013
Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces. Zbl 1246.14071
Bank, Bernd; Giusti, Marc; Heintz, Joos; Lehmann, Lutz; Pardo, Luis Miguel
7
2012
Lower complexity bounds for interpolation algorithms. Zbl 1277.65008
Giménez, Nardo; Heintz, Joos; Matera, Guillermo; Solernó, Pablo
2
2011
Efficient evaluation of specific queries in constraint databases. Zbl 1260.68135
Grimson, Rafael; Heintz, Joos; Kuijpers, Bart
1
2011
On the geometry of polar varieties. Zbl 1186.14060
Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab; Schost, Eric
37
2010
Bipolar varieties and real solving of a singular polynomial equation. Zbl 1246.14072
Bank, Bernd; Giusti, Marc; Heintz, Joos; Pardo, Luis Miguel
4
2010
On the intrinsic complexity of point finding in real singular hypersurfaces. Zbl 1206.68136
Bank, Bernd; Giusti, Marc; Heintz, Joos; Pardo, Luis Miguel
6
2009
Generalized polar varieties: geometry and algorithms. Zbl 1085.14047
Bank, B.; Giusti, M.; Heintz, J.; Pardo, Luis M.
34
2005
Generalized polar varieties and an efficient real elimination. Zbl 1249.14019
Bank, Bernd; Giusti, Marc; Heintz, Joos; Pardo, Luis M.
22
2004
Constraint databases, data structures and efficient query evaluation. Zbl 1080.68578
Heintz, Joos; Kuijpers, Bart
3
2004
The hardness of polynomial equation solving. Zbl 1049.68070
Castro, D.; Giusti, M.; Heintz, J.; Matera, G.; Pardo, Luis M.
26
2003
Functional programming concepts and straight-line programs in computer algebra. Zbl 1005.68187
Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R.
1
2002
Polar varieties and efficient real elimination. Zbl 1073.14554
Bank, B.; Giusti, M.; Heintz, J.; Mbakop, G. M.
36
2001
On the time-space complexity of geometric elimination procedures. Zbl 0977.68101
Heintz, Joos; Matera, Guillermo; Waissbein, Ariel
21
2001
Kronecker’s smart, little black boxes. Zbl 0978.65043
Giusti, Marc; Heintz, Joos
12
2001
Deformation techniques for efficient polynomial equation solving. Zbl 1041.65044
Heintz, Joos; Krick, Teresa; Puddu, Susana; Sabia, Juan; Waissbein, Ariel
27
2000
Time-space tradeoffs in algebraic complexity theory. Zbl 0951.68042
Aldaz, M.; Heintz, J.; Matera, G.; Montaña, J. L.; Pardo, Luis M.
2
2000
Straight-line programs in geometric elimination theory. Zbl 0944.12004
Giusti, M.; Heintz, J.; Morais, J. E.; Morgenstern, J.; Pardo, Luis M.
74
1998
The intrinsic complexity of parametric elimination methods. Zbl 0915.68073
Heintz, J.; Matera, G.; Pardo, L. M.; Wachenchauzer, R.
6
1998
Combinatorial hardness proofs for polynomial evaluation (extended abstract). Zbl 0911.68084
Aldaz, Mikel; Heintz, Joos; Matera, Guillermo; Montaña, José L.; Pardo, Luis M.
3
1998
Le rapport entre le temps et l’espace pour l’évaluation des polynômes. (Time-space tradeoffs for polynomial evaluation.) Zbl 0928.68127
Aldaz, Mikel; Heintz, Joos; Matera, Guillermo; Montaña, José Luis; Pardo, Luis Miguel
1
1998
Lower bounds for diophantine approximations. Zbl 0871.68101
Giusti, M.; Heintz, J.; Hägele, K.; Morais, J. E.; Pardo, L. M.; Montaña, J. L.
52
1997
Polar varieties, real equation solving, and data structures: the hypersurface case. Zbl 0872.68066
Bank, B.; Giusti, M.; Heintz, J.; Mbakop, G. M.
32
1997
The role of data structures for elimination problems. (Le rôle des structures de données dans les problèmes d’élimination.) Zbl 0893.68144
Giusti, Marc; Heintz, Joos; Morais, Jose Enrique; Pardo, Luis Miguel
18
1997
Polar varieties and efficient real equation solving: The hypersurface case. Zbl 0944.12005
Bank, B.; Giusti, M.; Heintz, J.; Mandel, R.; Mbakop, G. M.
2
1997
When polynomial equation systems can be “solved” fast? Zbl 0902.12005
Giusti, M.; Heintz, J.; Morais, J. E.; Pardo, L. M.
50
1995
Single exponential path finding in semi-algebraic sets. II: The general case. Zbl 0921.14039
Heintz, Joos; Roy, Marie-Francoise; Solerno, Pablo
11
1994
Description of the connected components of a semialgebraic set in single exponential time. Zbl 0970.68201
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo
11
1994
The determination of isolated points and of the dimension of an algebraic variety can be done in polynomial time. (La détermination des points isolés et de la dimension d’une variété algébrique peut se faire en temps polynomial.) Zbl 0829.14029
Giusti, Marc; Heintz, Joos
45
1993
On the efficiency of effective Nullstellensätze. Zbl 0824.68051
Giusti, Marc; Heintz, Joos; Sabia, Juan
25
1993
On the intrinsic complexity of elimination theory. Zbl 0835.68054
Heintz, Joos; Morgenstern, Jacques
20
1993
On the theoretical and practical complexity of the existential theory of reals. Zbl 0780.68058
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo
14
1993
Algorithmic aspects of Suslin’s proof of Serre’s conjecture. Zbl 0824.68049
Caniglia, Leandro; Cortiñas, Guillermo; Danón, Silvia; Heintz, Joos; Krick, Teresa; Solernó, Pablo
8
1993
Algorithmes - disons rapides - pour la décomposition d’une variété algébrique en composantes irréductibles et équidimensionelles. (So- called fast algorithms for the decomposition of an algebraic variety into irreducible and equidimensional components). Zbl 0755.14018
Giusti, Marc; Heintz, Joos
23
1991
Equations for the projective closure and effective Nullstellensatz. Zbl 0751.14037
Caniglia, L.; Galligo, A.; Heintz, J.
11
1991
Algorithms in real algebraic geometry and applications to computational geometry. Zbl 0751.14038
Heintz, Joos; Recio, Tomas; Roy, Marie-Françoise
10
1991
Single exponential path finding in semialgebraic sets. I: The case of a regular bounded hypersurface. Zbl 0764.14023
Heintz, Joos; Roy, Marie-Francoise; Solernó, Pablo
5
1991
Description of the connected components of a semi-algebraic set in single exponential time. (Description des composantes connexes d’un ensemble semialgébrique en temps simplement exponentiel.) Zbl 0764.14024
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo
2
1991
Construction of the shortest path around semialgebraic obstacles in the plane. Zbl 0761.14019
Krick, T.; Slisenko, A. O.; Solerno, P.; Heintz, J.
1
1991
Geometric problems solvable in single exponential time. Zbl 0756.14031
Heintz, Joos; Krick, Teresa; Roy, Marie-Françoise; Solernó, Pablo
1
1991
Search for shortest path around semialgebraic obstacles in the plane. Zbl 0835.14023
Krick, T.; Slisenko, A. O.; Solernó, Pablo; Heintz, J.
1
1991
On the complexity of the Tarski-Seidenberg principle. (Sur la complexité du principe de Tarski-Seidenberg.) Zbl 0767.03017
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo
33
1990
Counting connected components of a semi-algebraic set in single exponential time. (Comptage des composantes connexes d’un ensemble semi-algébrique en temps simplement exponentiel.) Zbl 0752.14043
Grigor’ev, Dima Yurevitch; Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo; Vorobjov, Nicolai Nicolaievitch jun.
3
1990
Une borne géométrique pour la programmation entière à contraintes polynomiales. (A geometrical bound for integer programming with polynomial constraints). Zbl 0692.90074
Bank, Bernd; Heintz, Joos; Krick, Teresa; Mandel, Reinhard; Solernó, Pablo
1
1990
Some new effectivity bounds in computational geometry. Zbl 0685.68044
Caniglia, Leandro; Galligo, André; Heintz, Joos
25
1989
On the computational complexity of polynomials and bilinear mappings. A survey. Zbl 0678.68036
Heintz, Joos
14
1989
Complexity of Tarski- Seidenberg’s principle. (Complexité du principe de Tarski-Seidenberg.) Zbl 0704.03013
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo
9
1989
Real quantifier elimination is doubly exponential. Zbl 0663.03015
Davenport, James H.; Heintz, Joos
103
1988
Exponential simple bound for the degrees in the Nullstellensatz over a field of arbitrary characteristic. (Borne simple exponentielle pour les degrés dans le théorème des zéros sur un corps de caractéristique quelconque.) Zbl 0686.14001
Caniglia, Léandro; Galligo, André; Heintz, Joos
16
1988
On polynomials with symmetric Galois group which are easy to compute. Zbl 0637.12013
Heintz, Joos
4
1986
On associative algebras of minimal rank. Zbl 0601.16018
Heintz, Joos; Morgenstern, Jacques
3
1986
A lower bound for the bilinear complexity of some semisimple Lie algebras. Zbl 0616.68038
de Groote, Hans F.; Heintz, Joos
2
1986
Definability and fast quantifier elimination in algebraically closed fields. Zbl 0589.03010
Heintz, Joos
2
1985
Zur Berechnungskomplexität von Polynomen und bilinearen Abbildungen. Zbl 0619.68038
Heintz, Joos
1
1985
Definability and fast quantifier elimination in algebraically closed fields. Zbl 0546.03017
Heintz, Joos
172
1983
Commutative algebras of minimal rank. Zbl 0527.68027
de Groote, Hans F.; Heintz, Joos
5
1983
Testing polynomials which are easy to compute. Zbl 0483.68043
Heintz, J.; Schnorr, C.-P.
46
1982
Absolute primality of polynomials is decidable in random polynomial time in the number of variables. Zbl 0462.68025
Heintz, Joos; Sieveking, Malte
18
1981
Lower bounds for polynomials with algebraic coefficients. Zbl 0452.68051
Heintz, Joos; Sieveking, Malte
21
1980
Definability bounds of first order theories of algebraically closed fields. Zbl 0439.03003
Heintz, Joos
3
1979
Untere Schranken für die Komplexität logischer Entscheidungsprobleme. Zbl 0343.02035
Heintz, Joos
2
1976
all top 5

Cited by 604 Authors

37 Safey El Din, Mohab
28 Heintz, Joos
27 Pardo, Luis Miguel
25 Schost, Éric
23 Matera, Guillermo
19 Solernó, Pablo
18 Grigor’ev, Dmitriĭ Yur’evich
18 Jeronimo, Gabriela
16 Davenport, James Harold
15 Giusti, Marc
13 Sabia, Juan
12 Roy, Marie-Françoise
12 Vorob’ëv, Nikolaĭ N. jun.
11 Bank, Bernd
11 Basu, Saugata
10 Cucker, Felipe
10 England, Matthew
10 Sturm, Thomas
9 Lecerf, Grégoire
9 Li, Wei
9 Montaña, José Luis
9 Privitelli, Melina
8 Faugère, Jean-Charles
8 Pérez, Mariana
7 Koiran, Pascal
7 Pogudin, Gleb A.
7 Wu, Wenyuan
7 Xia, Bican
6 Bradford, Russell J.
6 Bürgisser, Peter
6 D’Alfonso, Lisi
6 Giménez, Nardo
6 Ovchinnikov, Alexey Igorevich
6 Tsigaridas, Elias P.
6 von zur Gathen, Joachim
5 Anai, Hirokazu
5 Berenstein, Carlos Alberto
5 Dahan, Xavier
5 Eirinakis, Pavlos
5 Emiris, Ioannis Z.
5 Galligo, André
5 Gao, Xiaoshan
5 Hauenstein, Jonathan D.
5 Henrion, Didier
5 Iwane, Hidenao
5 Naldi, Simone
5 Perrucci, Daniel
5 Salvy, Bruno
5 Scheiblechner, Peter
5 Spaenlehauer, Pierre-Jean
5 Subramani, Krishnan
5 Wojciechowski, Piotr J.
4 Ábrahám, Erika
4 Beltrán, Carlos E.
4 Bläser, Markus
4 Hashemi, Amir
4 Hong, Hoon
4 Krick, Teresa
4 Magron, Victor
4 Morais, Jose Enrique
4 Moreno Maza, Marc
4 Mourrain, Bernard
4 Reid, Greg J.
4 Rouillier, Fabrice
4 Saxena, Nitin
4 Scanlon, Thomas J.
4 Seiler, Werner M.
4 Verschelde, Jan
4 Vu, Thi Xuan
4 Weber, Andreas Günter
4 Yakovenko, Sergei
4 Yger, Alain
3 Baur, Walter
3 Beaumont, James C.
3 Bostan, Alin
3 Brown, Christopher W.
3 Cafure, Antonio
3 Caniglia, Leandro
3 Dickenstein, Alicia M.
3 Dratman, Ezequiel
3 Feng, Yong
3 Fitchas, Noaï
3 Freitag, James
3 Gaudry, Pierrick
3 Hägele, Klemens
3 Helmer, Martin
3 Herrero, María Isabel
3 Kleist, Linda
3 Kreinovich, Vladik Yakovlevich
3 Kuijpers, Bart H. M.
3 Labahn, George
3 León Sánchez, Omar
3 Lombardi, Henri
3 Melczer, Stephen
3 Miltzow, Tillmann
3 Mora, Teo
3 Morgenstern, Jacques
3 Moroz, Guillaume
3 Pastuszak, Grzegorz
3 Phisanbut, Nalina
...and 504 more Authors
all top 5

Cited in 109 Serials

89 Journal of Symbolic Computation
39 Journal of Complexity
34 Theoretical Computer Science
21 Applicable Algebra in Engineering, Communication and Computing
20 Discrete & Computational Geometry
17 Journal of Pure and Applied Algebra
14 Foundations of Computational Mathematics
12 Journal of Algebra
11 Computational Complexity
8 Linear Algebra and its Applications
7 Mathematics in Computer Science
6 Mathematics of Computation
6 Journal of Computer and System Sciences
6 Annals of Mathematics and Artificial Intelligence
5 Information Processing Letters
5 Annales de l’Institut Fourier
5 Advances in Applied Mathematics
4 Advances in Mathematics
4 Journal of Soviet Mathematics
4 Mathematics and Computers in Simulation
4 SIAM Journal on Computing
4 Formal Methods in System Design
3 Communications in Algebra
3 Discrete Applied Mathematics
3 Journal of Number Theory
3 Transactions of the American Mathematical Society
3 Annals of Pure and Applied Logic
3 Information and Computation
3 Combinatorics, Probability and Computing
3 Finite Fields and their Applications
2 Bulletin of Mathematical Biology
2 Bulletin de la Société Mathématique de France
2 Canadian Journal of Mathematics
2 Computing
2 Duke Mathematical Journal
2 Journal of Computational and Applied Mathematics
2 Proceedings of the American Mathematical Society
2 Computer Aided Geometric Design
2 Journal of the American Mathematical Society
2 Japan Journal of Industrial and Applied Mathematics
2 International Journal of Computational Geometry & Applications
2 Computational Geometry
2 SIAM Journal on Optimization
2 Journal of Mathematical Sciences (New York)
2 Journal of the European Mathematical Society (JEMS)
2 Communications in Contemporary Mathematics
2 Journal of Systems Science and Complexity
2 SIAM Journal on Applied Algebra and Geometry
1 Artificial Intelligence
1 Computers & Mathematics with Applications
1 Communications on Pure and Applied Mathematics
1 International Journal of General Systems
1 Journal of Computational Physics
1 Mathematical Notes
1 Chaos, Solitons and Fractals
1 Acta Arithmetica
1 Acta Mathematica
1 Automatica
1 BIT
1 Bulletin of the London Mathematical Society
1 Functiones et Approximatio. Commentarii Mathematici
1 Journal of Combinatorial Theory. Series A
1 Journal of Differential Equations
1 Journal of the London Mathematical Society. Second Series
1 Kybernetika
1 Manuscripta Mathematica
1 Mathematische Annalen
1 Mathematische Nachrichten
1 Memoirs of the American Mathematical Society
1 Pacific Journal of Mathematics
1 Acta Applicandae Mathematicae
1 Algorithmica
1 International Journal of Intelligent Systems
1 SIAM Journal on Discrete Mathematics
1 MCSS. Mathematics of Control, Signals, and Systems
1 AI Communications
1 International Journal of Mathematics
1 Multidimensional Systems and Signal Processing
1 Séminaire de Théorie des Nombres de Bordeaux. Deuxième Série
1 International Journal of Algebra and Computation
1 Numerical Algorithms
1 Geometric and Functional Analysis. GAFA
1 Applied Mathematical Modelling
1 International Journal of Computer Mathematics
1 Expositiones Mathematicae
1 Acta Mathematica Sinica. New Series
1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI
1 Journal of Algebraic Combinatorics
1 Applied and Computational Harmonic Analysis
1 Turkish Journal of Mathematics
1 Selecta Mathematica. New Series
1 Electronic Research Announcements of the American Mathematical Society
1 Constraints
1 Journal of the ACM
1 Journal of Dynamical and Control Systems
1 Physical Review Letters
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Quantum Information Processing
1 Journal of Algebra and its Applications
1 Journal of Physics A: Mathematical and Theoretical
...and 9 more Serials
all top 5

Cited in 48 Fields

343 Computer science (68-XX)
187 Algebraic geometry (14-XX)
129 Commutative algebra (13-XX)
89 Field theory and polynomials (12-XX)
82 Numerical analysis (65-XX)
73 Mathematical logic and foundations (03-XX)
44 Number theory (11-XX)
26 Operations research, mathematical programming (90-XX)
21 Combinatorics (05-XX)
17 Ordinary differential equations (34-XX)
15 Linear and multilinear algebra; matrix theory (15-XX)
11 Systems theory; control (93-XX)
9 Several complex variables and analytic spaces (32-XX)
9 Information and communication theory, circuits (94-XX)
8 Convex and discrete geometry (52-XX)
7 Real functions (26-XX)
7 Biology and other natural sciences (92-XX)
5 Associative rings and algebras (16-XX)
5 Quantum theory (81-XX)
4 Group theory and generalizations (20-XX)
4 Dynamical systems and ergodic theory (37-XX)
4 Geometry (51-XX)
4 Global analysis, analysis on manifolds (58-XX)
3 General and overarching topics; collections (00-XX)
3 Functions of a complex variable (30-XX)
3 Approximations and expansions (41-XX)
3 Probability theory and stochastic processes (60-XX)
2 \(K\)-theory (19-XX)
2 Partial differential equations (35-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Operator theory (47-XX)
2 Calculus of variations and optimal control; optimization (49-XX)
2 Differential geometry (53-XX)
2 Mechanics of particles and systems (70-XX)
2 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 History and biography (01-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Nonassociative rings and algebras (17-XX)
1 Difference and functional equations (39-XX)
1 Integral transforms, operational calculus (44-XX)
1 Functional analysis (46-XX)
1 General topology (54-XX)
1 Algebraic topology (55-XX)
1 Manifolds and cell complexes (57-XX)
1 Statistics (62-XX)
1 Fluid mechanics (76-XX)
1 Relativity and gravitational theory (83-XX)
1 Mathematics education (97-XX)

Citations by Year