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 |
|
1990
|
Deformation techniques for sparse systems. Zbl 1167.14039
Jeronimo, Gabriela; Matera, Guillermo; Solernó, Pablo; Waissbein, Ariel |
|
2009
|
Bounds of traces in complete intersections and degrees in the Nullstellensatz. Zbl 0844.14018
Sabia, Juan; Solernó, Pablo |
|
1995
|
Effective Łojasiewicz inequalities in semialgebraic geometry. Zbl 0754.14035
Solernó, Pablo |
|
1991
|
On the theoretical and practical complexity of the existential theory of reals. Zbl 0780.68058
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo |
|
1993
|
Description of the connected components of a semialgebraic set in single exponential time. Zbl 0970.68201
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo |
|
1994
|
Single exponential path finding in semi-algebraic sets. II: The general case. Zbl 0921.14039
Heintz, Joos; Roy, Marie-Francoise; Solerno, Pablo |
|
1994
|
Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients. Zbl 1383.12002
D’Alfonso, Lisi; Jeronimo, Gabriela; Solernó, Pablo |
|
2014
|
Complexity of Tarski- Seidenberg’s principle.
(Complexité du principe de Tarski-Seidenberg.) Zbl 0704.03013
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo |
|
1989
|
Degeneracy loci and polynomial equation solving. Zbl 1341.14022
Bank, Bernd; Giusti, Marc; Heintz, Joos; Lecerf, Grégoire; Matera, Guillermo; Solernó, Pablo |
|
2015
|
On the computation of the radical of polynomial complete intersection ideals. Zbl 0896.13022
Aremendáriz, Inés; Solernó, Pablo |
|
1995
|
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 |
|
1993
|
On the complexity of the resolvent representation of some prime differential ideals. Zbl 1155.12004
D’Alfonso, Lisi; Jeronimo, Gabriela; Solernó, Pablo |
|
2006
|
Computing generators of the ideal of a smooth affine algebraic variety. Zbl 1137.14319
Blanco, Cristina; Jeronimo, Gabriela; Solernó, Pablo |
|
2005
|
A geometric index reduction method for implicit systems of differential algebraic equations. Zbl 1235.34030
D’Alfonso, L.; Jeronimo, G.; Ollivier, F.; Sedoglavic, A.; Solernó, P. |
|
2011
|
On intrinsic bounds in the Nullstellensatz. Zbl 0897.13021
Krick, T.; Sabia, J.; Solernó, P. |
|
1997
|
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 |
|
1991
|
On the index and the order of quasi-regular implicit systems of differential equations. Zbl 1172.34003
D’Alfonso, Lisi; Jeronimo, Gabriela; Massaccesi, Gustavo; Solernó, Pablo |
|
2009
|
A linear algebra approach to the differentiation index of generic DAE systems. Zbl 1175.34004
D’Alfonso, Lisi; Jeronimo, Gabriela; Solernó, Pablo |
|
2008
|
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. |
|
1990
|
Lower complexity bounds for interpolation algorithms. Zbl 1277.65008
Giménez, Nardo; Heintz, Joos; Matera, Guillermo; Solernó, Pablo |
|
2011
|
Quantitative aspects of the generalized differential Lüroth’s theorem. Zbl 1417.12002
D’Alfonso, Lisi; Jeronimo, Gabriela; Solernó, Pablo |
|
2018
|
Effective differential Lüroth’s theorem. Zbl 1345.12006
D’Alfonso, Lisi; Jeronimo, Gabriela; Solernó, Pablo |
|
2014
|
Intrinsic complexity for constructing zero-dimensional Gröbner bases. Zbl 1514.13027
Hashemi, Amir; Heintz, Joos; Pardo, Luis M.; Solernó, Pablo |
|
2020
|
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 |
|
1991
|
Identifiability from a few species for a class of biochemical reaction networks. Zbl 1417.92064
Jeronimo, Gabriela; Pérez Millán, Mercedes; Solernó, Pablo |
|
2019
|
Search for shortest path around semialgebraic obstacles in the plane. Zbl 0835.14023
Krick, T.; Slisenko, A. O.; Solernó, Pablo; Heintz, J. |
|
1991
|
Geometric problems solvable in single exponential time. Zbl 0756.14031
Heintz, Joos; Krick, Teresa; Roy, Marie-Françoise; Solernó, Pablo |
|
1991
|
On the degrees of bases of free modules over a polynomial ring. Zbl 0946.13007
Almeida, Marcela; D’Alfonso, Lisi; Solernó, Pablo |
|
1999
|
Construction of the shortest path around semialgebraic obstacles in the plane. Zbl 0761.14019
Krick, T.; Slisenko, A. O.; Solerno, P.; Heintz, J. |
|
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 |
|
1990
|
Intrinsic complexity for constructing zero-dimensional Gröbner bases. Zbl 1514.13027
Hashemi, Amir; Heintz, Joos; Pardo, Luis M.; Solernó, Pablo |
|
2020
|
Identifiability from a few species for a class of biochemical reaction networks. Zbl 1417.92064
Jeronimo, Gabriela; Pérez Millán, Mercedes; Solernó, Pablo |
|
2019
|
Quantitative aspects of the generalized differential Lüroth’s theorem. Zbl 1417.12002
D’Alfonso, Lisi; Jeronimo, Gabriela; Solernó, Pablo |
|
2018
|
Degeneracy loci and polynomial equation solving. Zbl 1341.14022
Bank, Bernd; Giusti, Marc; Heintz, Joos; Lecerf, Grégoire; Matera, Guillermo; Solernó, Pablo |
|
2015
|
Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients. Zbl 1383.12002
D’Alfonso, Lisi; Jeronimo, Gabriela; Solernó, Pablo |
|
2014
|
Effective differential Lüroth’s theorem. Zbl 1345.12006
D’Alfonso, Lisi; Jeronimo, Gabriela; Solernó, Pablo |
|
2014
|
A geometric index reduction method for implicit systems of differential algebraic equations. Zbl 1235.34030
D’Alfonso, L.; Jeronimo, G.; Ollivier, F.; Sedoglavic, A.; Solernó, P. |
|
2011
|
Lower complexity bounds for interpolation algorithms. Zbl 1277.65008
Giménez, Nardo; Heintz, Joos; Matera, Guillermo; Solernó, Pablo |
|
2011
|
Deformation techniques for sparse systems. Zbl 1167.14039
Jeronimo, Gabriela; Matera, Guillermo; Solernó, Pablo; Waissbein, Ariel |
|
2009
|
On the index and the order of quasi-regular implicit systems of differential equations. Zbl 1172.34003
D’Alfonso, Lisi; Jeronimo, Gabriela; Massaccesi, Gustavo; Solernó, Pablo |
|
2009
|
A linear algebra approach to the differentiation index of generic DAE systems. Zbl 1175.34004
D’Alfonso, Lisi; Jeronimo, Gabriela; Solernó, Pablo |
|
2008
|
On the complexity of the resolvent representation of some prime differential ideals. Zbl 1155.12004
D’Alfonso, Lisi; Jeronimo, Gabriela; Solernó, Pablo |
|
2006
|
Computing generators of the ideal of a smooth affine algebraic variety. Zbl 1137.14319
Blanco, Cristina; Jeronimo, Gabriela; Solernó, Pablo |
|
2005
|
On the degrees of bases of free modules over a polynomial ring. Zbl 0946.13007
Almeida, Marcela; D’Alfonso, Lisi; Solernó, Pablo |
|
1999
|
On intrinsic bounds in the Nullstellensatz. Zbl 0897.13021
Krick, T.; Sabia, J.; Solernó, P. |
|
1997
|
Bounds of traces in complete intersections and degrees in the Nullstellensatz. Zbl 0844.14018
Sabia, Juan; Solernó, Pablo |
|
1995
|
On the computation of the radical of polynomial complete intersection ideals. Zbl 0896.13022
Aremendáriz, Inés; Solernó, Pablo |
|
1995
|
Description of the connected components of a semialgebraic set in single exponential time. Zbl 0970.68201
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo |
|
1994
|
Single exponential path finding in semi-algebraic sets. II: The general case. Zbl 0921.14039
Heintz, Joos; Roy, Marie-Francoise; Solerno, Pablo |
|
1994
|
On the theoretical and practical complexity of the existential theory of reals. Zbl 0780.68058
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo |
|
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 |
|
1993
|
Effective Łojasiewicz inequalities in semialgebraic geometry. Zbl 0754.14035
Solernó, Pablo |
|
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 |
|
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 |
|
1991
|
Search for shortest path around semialgebraic obstacles in the plane. Zbl 0835.14023
Krick, T.; Slisenko, A. O.; Solernó, Pablo; Heintz, J. |
|
1991
|
Geometric problems solvable in single exponential time. Zbl 0756.14031
Heintz, Joos; Krick, Teresa; Roy, Marie-Françoise; Solernó, Pablo |
|
1991
|
Construction of the shortest path around semialgebraic obstacles in the plane. Zbl 0761.14019
Krick, T.; Slisenko, A. O.; Solerno, P.; Heintz, J. |
|
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 |
|
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. |
|
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 |
|
1990
|
Complexity of Tarski- Seidenberg’s principle.
(Complexité du principe de Tarski-Seidenberg.) Zbl 0704.03013
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo |
|
1989
|