PABLO SOLERNÓ
Publicaciones con referato
1.
Algorithmes rapides en séquentiel
et en parallèle pour l'élimination des quantificateurs en
géométrie élémentaire. (Math. Review)
Publ. Math. Univ. Paris 7(1990) 103-145.
Como miembro del grupo N.Fitchas* y en colaboración con
A.Galligo y J.Morgenstern.
2. Precise
sequential and parallel
complexity bounds for the quantifier elimination over algebraically
closed fields.
Journal of Pure and Applied Algebra 67, North Holland (1990) 1-14.
Como miembro del grupo N.Fitchas* y en colaboración con
A.Galligo y J.Morgenstern.
3. Nullstellensatz
effectif et
Conjecture de Serre (Théorème de Quillen-Suslin) pour le
Calcul Formel. (Math. Review,
Zentralblatt Review)
Mathematischen Nachrichten 149(1990) 231-253.
Como miembro del grupo N.Fitchas* y en colaboración con
A.Galligo.
4. The
membership problem for unmixed
polynomial ideals is solvable in single exponential time.
Discrete Applied Mathematics 33, North-Holland (1991) 73-94.
Como miembro del grupo N.Fitchas* y en colaboración con
A.Dickenstein, M.Giusti y C.Sessa.
5. On the
complexity of semialgebraic
sets.
Information Processing 89, G.X.Ritter (ed.). North-Holland (1989)
293-298.
En colaboración con J.Heintz y M.-F.Roy.
6. Nuevos
algoritmos en geometría
elemental.
Proc.18 JAIIO, Buenos Aires, 1989, 1.59-1.78.
En colaboración con J.Heintz y M.-F.Roy.
7. Complexité
du principe de Tarski-Seidenberg. (Zentralblatt
Review)
C. R. Acad. Sci. Paris 309, série I (1989) 825-830.
En colaboración con J.Heintz y M.-F.Roy.
8. Sur la
complexité du principe
de Tarski-Seidenberg.
Bulletin Soc. Math. France 118 (1990), 101-126.
En colaboración con J.Heintz y M.-F.Roy.
9. Algorithmic
aspects of Suslin
solution of Serre' s conjecture.
Computational
Complexity 3
Birkhäuser Verlag (1993) 31-55.
En colaboración con L.Caniglia, G.Cortiñas,
S.Danón, J.Heintz y T.Krick.
10. Effective
Lojasiewicz Inequalities in
Semialgebraic Geometry.
Applicable Algebra in Engineering, Communication and Computing 2 No. 1,
Springer-Verlag (1991) 1-14.
11. Comptage
des composantes
connexes d'un ensemble semi-algébrique en temps simplement
exponentiel. (Math. Review,
Zentralblatt Review)
C.R.Acad.Sci. Paris 312, série I (1990) 879-882.
En colaboración con D.Yu.Grigor'ev, J.Heintz, M.-F.Roy y
N.N.Vorobjov (jr.).
12. Geometric
problems solvable in
single exponential time. (Zentralblatt
Review)
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
(S.Sakata, ed.), Lect. Notes in Comput. Sci. 508 , Springer-Verlag
(1991), 11-23.
En colaboración con J.Heintz, T.Krick y M.-F.Roy.
13. Single
exponential path finding in
semialgebraic sets. Part I: The case of a bounded regular hypersurface.
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
(S.Sakata, ed.) Lect. Notes in Comput. Sci. 508, Springer-Verlag(1991)
180-196.
En colaboración con J.Heintz y M.-F.Roy.
14. Single
exponential path finding in
semialgebraic sets. Part II: The general case. (Math. Review)
Algebraic Geometry and its Applications, C. Bajaj (ed.), Springer
Verlag (1993), 449-465.
En colaboración con J.Heintz y M.-F.Roy.
15. Une
borne géométrique
pour la programmation entière à contraintes polynomiales.
(Math. Review, Zentralblatt Review)
C. R. Acad. Sci. Paris 310, série I (1990) 475-478.
En colaboración con B.Bank, J.Heintz, T.Krick y R.Mandel.
16. Construction
of a shortest path
around semialgebbraic obstacles in the plane. (Zentralblatt Review)
Teoria Slojnosti buchislenii 5, Leningrad Acad. Sc. Nauka (1991) (en
ruso) 163-173.
En colaboración con J.Heintz, T.Krick y A.Slissenko.
17. Description
des composantes
connexes d'un ensemble semi-algébrique en temps simplement
exponentiel. (Zentralblatt Review)
C. R. Acad. Sci. Paris 313, série I (1991) 167-170.
En colaboración con J.Heintz y M.-F. Roy.
18. Description
of the connected
components of a semialgebraic set in single exponential time.
Discrete Comput. Geom. 11 (1994), 121-140.
En colaboración con J.Heintz y M.-F. Roy.
19. Une
borne optimale pour la
programmation entière quasiconvexe.
Bull.Soc. Math. France 121 (1993) 299-314.
En colaboración con B.Bank, J.Heintz, T.Krick y R.Mandel.
20. Computability
and Complexity of
polynomial optimization problems.
Modern Methods of Optimization,(W.Krabs & J.Zowe, eds.),
Lect. Notes in Econ. And Math. Systems 378, Springer-Verlag (1992)
1-23.
En colaboración con B.Bank, J.Heintz, T.Krick y R.Mandel.
21. On the
theoretical and practical
complexity of the existential theory of reals.
The Comput. Journal 36 No. 5 (1993) 427-437.
En colaboración con J.Heintz y M.-F.Roy.
22. Sur la
complexité du
théorème de zéros.
Approximation & Optimization 8, Verlag Peter Lang (1995) 274-329.
Como miembro del grupo N.Fitchas* y en colaboración con M.Giusti
y F.Smietanski.
23. Bounds
for Traces in Complete
Intersections and Degrees in the Nullstellensatz.
AAECC Journal Vol 6, No.6, Springer-Verlag (1995) 353-376.
En colaboración con J.Sabia.
24. On the
computation of the radical of
polynomial complete intersection ideals.
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes,
G.Cohen, M.Giusti and T.Mora (eds.), Lect.Notes in Comp. Sci. 948,
Springer-Verlag (1995) 106-119.
En colaboración con I.Armendáriz.
25. Complexity
Bounds in Elimination Theory.
Mathematics and Computers in Simulation 1308, North-Holland, Elsevier
(1996) 429-438.
26.
On
Intrinsic Bounds in the
Nullstellensatz.
AAECC
Journal Vol 8, No.2,
Springer-Verlag (1997) 125-134.
En colaboración con T.Krick y J.Sabia.
27. On the
degrees of bases of free
modules over a polynomial ring.
Mathematische Zeitschrift 231, Springer-Verlag (1999), 679-706.
En colaboración con M.Almeida y L.D'Alfonso.
28. Computing
bases of complete
intersection rings in Noether position.
Journal of Pure & Applied Algebra 162 (2001), 127-170.
En colaboración con M.Almeida, M.Blaum y L.D'Alfonso.
29. Computing
generators of the ideal of
a smooth affine algebraic variety.
Journal of Symb. Comput. 48 No.1 (2004), 843-872.
En colaboración con C.Blanco y G.Jeronimo.
30. On the
Complexity of the Resolvent
Representation of Some Prime Differential Ideals.
Journal of Complexity 22 (2006), 396-430.
En colaboración con L.D'Alfonso y
G.Jeronimo.
31.A linear algebra approach to the differentiation index
of generic DAE systems.
Applicable Algebra, Engineering, Communication and Computing (AAECC) 19 (2008), Springer-Verlag 441-473.
En colaboración con L.D'Alfonso y G.Jeronimo.
32. Deformation techniques for sparse systems.
Foundations of Computational Mathematics (FOCM) Journal, 9 (2009), 1-50.
En colaboración con G.Jeronimo, G.Matera y A.Waissbein.
33. On the Index and the Order of
Quasi-Regular Implicit Systems of Differential
Equations.
Linear Algebra and its Applications 430 (2009), 2102-2122.
En colaboración con L.D'Alfonso, G.Jeronimo y G. Massaccesi.
34. Lower complexity bounds for interpolation algorithms.
Journal of Complexity 27, Issue 2 (2011), 151-187.
En colaboración con N.Giménez, J.Heintz y G.Matera.
35. A Geometric Index Reduction
Method for Implicit Systems of Differential Algebraic Equations.
Journal of Symbolic Comput. 22, (2011) 1114-1138.
En colaboración con L.D'Alfonso, G.Jeronimo, F.Ollivier y A.Sedoglavic.
36. Effective Differential L\"uroth's Theorem.
Journal of Algebra 406, (2014), 1-19.
En colaboración con L.D'Alfonso y G.Jeronimo.
37. Effective differential Nullstellensatz for
ordinary DAE systems with constant coefficients.
Journal of Complexity
Vol.30, 5, (2014), 588-603.
En colaboración con L.D'Alfonso y G.Jeronimo.
38. Degeneracy Loci and Polynomial Equation Solving.
Foundations of Computational Mathematics (FOCM) 15, Issue 1, (2015) 159-184.
En colaboración con B.Bank, M.Giusti, J.Heintz, G.Lecerf y G.Matera.
39. A decision method for the integrability of differential-algebraic Pfaffian systems.
Advances in Applied Mathematics 72 Issue C (2016), 175-194.
En colaboración con L. D'Alfonso y G.Jeronimo.
40. Quantitative aspects of the generalized differential Lüroth's Theorem.
Journal of Algebra (2018) https://doi.org/10.1016/j.jalgebra.2018.01.050
En colaboración con L. D'Alfonso y G.Jeronimo.
Artículos
inéditos
41. Catania
Lecture Notes on Complexity in Elementary Geometry.
Cursillo presentado al Workshop ``Computational Real Algebraic
Geometry", Catania, 12-16.12.1988.
Como miembro del grupo N.Fitchas*.
42.
Complejidad de conjuntos semialgebraicos.
Tesis, Universidad de Buenos Aires (1989).
43.
Une
borne inférieure pour la construction de polygonales dans le
plan.
Publ. Dept. Math. Univ. Limoges (1993).
En colaboración con J.Heintz, T.Krick y A.Slissenko.
44. Algunos
resultados sobre el
número y el grado de ecuaciones definiendo una variedad
algebraica (survey).
Documento de Trabajo No.12,
Universidad
de San Andrés (1999).
En colaboración con F.Krongold.
45. Intersection theory
and deformation algorithms: the multi-homogeneous case
Preprint (2002)
En colaboración con G.Jeronimo, J.Heintz y J.Sabia.
* Grupo
de investigación creado por Joos Heintz en 1987.