| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bernd Bank, Marc Giusti, Joos Heintz, Lutz Lehmann, Luis Miguel Pardo |
Algorithms of Intrinsic Complexity for Point Searching in Compact Real Singular Hypersurfaces.  |
Foundations of Computational Mathematics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz, Bart Kuijpers, Andres Rojas Paredes |
On the intrinsic complexity of elimination problems in effective Algebraic Geometry |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rafael Grimson, Joos Heintz, Bart Kuijpers |
Efficient evaluation of specific queries in constraint databases. |
Inf. Process. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nardo Giménez, Joos Heintz, Guillermo Matera, Pablo Solernó |
Lower complexity bounds for interpolation algorithms. |
J. Complexity |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Giusti, Joos Heintz, Bart Kuijpers |
The evaluation of geometric queries: constraint databases and quantifier elimination |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joos Heintz, Bart Kuijpers, Andres Rojas Paredes |
Software Engineering and Complexity in Effective Algebraic Geometry |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rafael Grimson, Joos Heintz, Bart Kuijpers |
Evaluating geometric queries using few arithmetic operations |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bernd Bank, Marc Giusti, Joos Heintz, Mohab Safey El Din, Éric Schost |
On the geometry of polar varieties. |
Appl. Algebra Eng. Commun. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Bank, Marc Giusti, Joos Heintz, Luis Miguel Pardo |
On the intrinsic complexity of point finding in real singular hypersurfaces. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Bank, Max J. Egenhofer, Joos Heintz, Bart Kuijpers, Peter Z. Revesz |
07212 Manifesto -- Constraint Databases, Geometric Elimination ang Geographic Information Systems. |
Constraint Databases, Geometric Elimination and Geographic Information Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernd Bank, Marc Giusti, Joos Heintz, Luis Miguel Pardo |
Generalized polar varieties: geometry and algorithms. |
J. Complexity |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz, Bart Kuijpers |
Constraint Databases, Data Structures and Efficient Query Evaluation. |
CDB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Castro, Marc Giusti, Joos Heintz, Guillermo Matera, Luis Miguel Pardo |
The Hardness of Polynomial Equation Solving. |
Foundations of Computational Mathematics |
2003 |
DBLP DOI BibTeX RDF |
Polynomial equation solving, Continuous data structure, Holomorphic and continuous encoding, Complexity, Elimination theory |
| 1 | N. Bruno, Joos Heintz, Guillermo Matera, Rosita Wachenchauzer |
Functional programming concepts and straight-line programs in computer algebra. |
Mathematics and Computers in Simulation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz, Guillermo Matera, Ariel Waissbein |
On the Time-Space Complexity of Geometric Elimination Procedures. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Algorithmic elimination theory, Polynomial equation solving, Algebraic complexity theory, Time-space complexity, Computation tree, Symbolic computation, Straight-line program |
| 1 | Joos Heintz, Teresa Krick, Susana Puddu, Juan Sabia, Ariel Waissbein |
Deformation Techniques for Efficient Polynomial Equation Solving. |
J. Complexity |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikel Aldaz, Joos Heintz, Guillermo Matera, José Luis Montaña, Luis Miguel Pardo |
Time-Space Tradeoffs in Algebraic Complexity Theory. |
J. Complexity |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Bank, Joos Heintz, Lutz Lehmann, Guillermo Matera, Guy M. Mbakop, Rosita Wachenchauzer, Ariel Waissbein |
OpTERA - Optimization and Real Equation Solving. |
German-Argentinian Workshop on Information Technology |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mikel Aldaz, Joos Heintz, Guillermo Matera, José Luis Montaña, Luis Miguel Pardo |
Combinatorial Hardness Proofs for Polynomial Evaluation. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Bank, Marc Giusti, Joos Heintz, Guy M. Mbakop |
Polar Varieties, Real Equation Solving, and Data Structures: The Hypersurface Case. |
J. Complexity |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Giusti, Joos Heintz, Jose Enrique Morais, Luis Miguel Pardo |
When Polynomial Equation Systems Can Be "Solved" Fast?. |
AAECC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz, Marie-Françoise Roy, Pablo Solernó |
Description of the Connected Components of a Semialgebraic in Single Exponential Time. |
Discrete & Computational Geometry |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz, Jacques Morgenstern |
On the Intrinsic Complexity of Elimination Theory. |
J. Complexity |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz, Marie-Françoise Roy, Pablo Solernó |
On the Theoretical and Practical Complexity of the Existential Theory of Reals. |
Comput. J. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Giusti, Joos Heintz, Juan Sabia |
On the Efficiency of Effective Nullstellensätze. |
Computational Complexity |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro Caniglia, Guillermo Cortiñas, Silvia Danón, Joos Heintz, Teresa Krick, Pablo Solernó |
(Working Group Noaï Fitchas) Algorithmic Aspects of Suslin's Proof of Serre's Conjecture. |
Computational Complexity |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro Caniglia, André Galligo, Joos Heintz |
Equations for the projective closure and effective Nullstellensatz. |
Discrete Applied Mathematics |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz, Teresa Krick, Marie-Françoise Roy, Pablo Solernó |
Geometric Problems Solvable in Single Exponential Time. |
AAECC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz, Marie-Françoise Roy, Pablo Solernó |
Single Exponential Path Finding in Semialgebraic Sets. Part 1: The Case of a Regular Bounded Hypersurface. |
AAECC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz, Pablo Solernó, Marie-Françoise Roy |
On the Complexity of Semialgebraic Sets. |
IFIP Congress |
1989 |
DBLP BibTeX RDF |
|
| 1 | James H. Davenport, Joos Heintz |
Real Quantifier Elimination is Doubly Exponential. |
J. Symb. Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro Caniglia, André Galligo, Joos Heintz |
Some New Effectivity Bounds in Computational Geometry. |
AAECC |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans F. de Groote, Joos Heintz, Stefan Möhler, Heinz Schmidt |
On the Complexity of Lie Algebras. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz |
On the Computational Complexity of Polynomials and Bilinear Mappings. A Survey. |
AAECC |
1987 |
DBLP BibTeX RDF |
|
| 1 | Joos Heintz |
On Polynomials with Symmetric Galois Group which Are Easy to Compute. |
Theor. Comput. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz |
Corrigendum: Definability and Fast Quantifier Elimination in Algebraically Closed Fields. |
Theor. Comput. Sci. |
1985 |
DBLP BibTeX RDF |
|
| 1 | Hans F. de Groote, Joos Heintz |
A Lower Bound for the Bilinear Complexity of Some Semisimple Lie Algebras. |
AAECC |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz, Jacques Morgenstern |
On associative algebras of minimal rank. |
AAECC |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz |
Definability and Fast Quantifier Elimination in Algebraically Closed Fields. |
Theor. Comput. Sci. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz, Malte Sieveking |
Absolute Primality of Polynomials is Decidable in Random Polynomial Time in the Number of Variables. |
ICALP |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz, Malte Sieveking |
Lower Bounds for Polynomials with Algebraic Coefficients. |
Theor. Comput. Sci. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz, Claus-Peter Schnorr |
Testing Polynomials which Are Easy to Compute (Extended Abstract) |
STOC |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz |
A New Method to Show Lower Bounds for Polynomials which are Hard to Compute. |
Theoretical Computer Science |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Joos Heintz |
Untere Schranken für die Komplexität logischer Entscheidungsprobleme. |
Komplexität von Entscheidungsproblemen 1976 |
1976 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")