JERONIMO, GABRIELA; LANCIANO, LEONARDO; SOLERNÓ, PABLO SOLERNÓ

On the geometric degree of the tangent bundle of a smooth algebraic variety

COLLECTANEA MATHEMATICA; Lugar: Barcelona; Año: 2025

JERONIMO, GABRIELA; SOLERNÓ, PABLO

Weak identifiability for differential algebraic systems

ADVANCES IN APPLIED MATHEMATICS; Año: 2023 vol. 147

HASHEMI, A.; HEINTZ, J.; PARDO, L.M.; SOLERNÓ, PABLO

On Bézout inequalities for non-homogeneous polynomial ideals

JOURNAL OF SYMBOLIC COMPUTATION; Lugar: Amsterdam; Año: 2021 vol. 106 p. 1 - 22

HASHEMI, A.; HEINTZ, J.; PARDO, L.M.; SOLERNÓ, PABLO

Intrinsic complexity for constructing zero-Dimensional Grobner bases

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2020 vol. 122 p. 245 - 265

JERONIMO, GABRIELA; PÉREZ MILLÁN, MERCEDES; SOLERNÓ, PABLO

Identifiability from a Few Species for a Class of Biochemical Reaction Networks.

BULLETIN OF MATHEMATICAL BIOLOGY; Año: 2019 vol. 81 p. 2133 - 2175

D'ALFONSO, LISI; JERONIMO, GABRIELA; SOLERNÓ, PABLO

Quantitative aspects of the generalized differential Lüroth's Theorem

JOURNAL OF ALGEBRA; Lugar: Amsterdam; Año: 2018 vol. 507 p. 547 - 570

D'ALFONSO; JERONIMO; SOLERNO

A decision method for the integrability of differential-algebraic Pfaffian systems

ADVANCES IN APPLIED MATHEMATICS; Lugar: Amsterdam; Año: 2016 vol. 72 p. 175 - 194

BANK, GIUSTI, HEINTZ, LECERF, MATERA, SOLERNÓ

Degeneracy Loci and Polynomial Equation Solving

FOUNDATIONS OF COMPUTATIONAL MATHEMATICS; Lugar: Berlin; Año: 2015 vol. 15 p. 159 - 184

L. DALFONSO, G. JERONIMO, P. SOLERNÓ

Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients

JOURNAL OF COMPLEXITY; Lugar: Amsterdam; Año: 2014

D'ALFONSO, JERONIMO, SOLERNÓ

Effective differential Luroth's Theorem

JOURNAL OF ALGEBRA; Lugar: Amsterdam; Año: 2014 vol. 406 p. 1 - 19

N. GIMÉNEZ, J. HEINTZ, G. MATERA, P. SOLERNÓ

Lower Complexity Bounds for Interpolation Algorithms

JOURNAL OF COMPLEXITY; Lugar: Amsterdam; Año: 2011 vol. 27 p. 151 - 187

D'ALFONSO, JERONIMO, OLLIVIER, SEDOGLAVIC, SOLERNÓ

A Geometric Index Reduction Method for Implicit Systems of Differential Algebraic Equations

JOURNAL OF SYMBOLIC COMPUTATION; Lugar: Amsterdam; Año: 2011 vol. 22 p. 1114 - 1138

G. JERONIMO, G. MATERA, P. SOLERNÓ, A. WAISSBEIN

Deformation techniques for sparse systems

FOUNDATIONS OF COMPUTATIONAL MATHEMATICS; Lugar: New York; Año: 2009 vol. 9 p. 1 - 50

D'ALFONSO, JERONIMO, MASSACCESI, SOLERNÓ

On the index and the order of quasi-regular implicit systems of differential equations

LINEAR ALGEBRA AND ITS APPLICATIONS; Lugar: Amsterdam; Año: 2009 vol. 430 p. 2102 - 2122

D'ALFONSO, JERONIMO, SOLERNÓ

A linear algebra approach to the differentiation index of generic DAE systems

APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING; Lugar: Berlin; Año: 2008 vol. 19 p. 441 - 473

L. DALFONSO, G. JERONIMO, P. SOLERNÓ

On the Complexity of the Resolvent Representation

JOURNAL OF COMPLEXITY; Lugar: Amsterdam; Año: 2006 vol. 22 p. 396 - 430

CRISTINA BLANCO, GABRIELA JERONIMO, PABLO SOLERNÓ

Computing generators of the ideal of a smooth affine algebraic variety

JOURNAL OF SYMBOLIC COMPUTATION; Lugar: Amsterdam; Año: 2004 p. 843 - 872

ALMEIDA, BLAUM, D'ALFONSO, SOLERNÓ

Computing bases of complete intersection rings in Noether position

JOURNAL OF PURE AND APPLIED ALGEBRA; Lugar: Amsterdam; Año: 2001 vol. 162 p. 127 - 170

ALMEIDA, D'ALFONSO, SOLERNÓ

On the degrees of bases of free modules over a polynomial ring

MATHEMATISCHE ZEITSCHRIFT; Lugar: Berlin; Año: 1999 vol. 4 p. 679 - 706

KRICK, SABIA, SOLERNÓ

On intrinsic bounds in the Nullstellensatz

APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING; Lugar: Berlin; Año: 1997 vol. 8 p. 125 - 134

P. SOLERNÓ

Complexity bounds in elimination theory?a survey

MATHEMATICS AND COMPUTERS IN SIMULATION; Lugar: Amsterdam; Año: 1996 vol. 42 p. 429 - 438

ARMENDÁRIZ, SOLERNÓ

On the computation of the radical of polynomial complete intersection ideals

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 1995 vol. 948 p. 106 - 119

GIUSTI, HEINTZ, PARDO, SABIA, SMIETNSKI, SOLERNÓ

Sur la complexité du théorème des zéros

Approximation & Optimization; Lugar: Frankfurt; Año: 1995 vol. 8 p. 274 - 329

SABIA, SOLERNÓ

Bounds for traces in complete intersections and degrees in the Nullstellensatz

APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING; Lugar: Berlin; Año: 1995 vol. 6 p. 353 - 376

HEINTZ, ROY, SOLERNO

Description of the connected components of a semialgebraic set in single exponential time

DISCRETE AND COMPUTATIONAL GEOMETRY; Lugar: Berlin; Año: 1994 vol. 11 p. 121 - 140

HEINTZ, KRICK, SLISSENKO, SOLERNO

A search for the shortest path around semi-algebraic obstacles in the plane

JOURNAL OF MATHEMATICAL SCIENCES (NEW YORK, N.Y.); Lugar: New York; Año: 1994 vol. 70 p. 1944 - 1949

HEINTZ, ROY, SOLERNO

On the theoretical and practical complexity of the existential theory of reals

COMPUTER JOURNAL; Lugar: Oxford; Año: 1993 vol. 36 p. 427 - 431

BANK, HEINTZ, KRICK, MANDEL, SOLERNO

Une borne optimale pour la programmation entière quasi-convexe

BUL. DE LA SOCIETE MATHEMATIQUE DE FRANCE & MEMOIRES DE LA SOCIETE MATH FRANCE; Lugar: Paris; Año: 1993 vol. 121 p. 299 - 314

CANIGLIA, CORTIÑAS, DANÓN, HEINTZ, KRICK, SOLERNÓ

Algorithmic aspects of Suslin's proof of Serre's conjecture

COMPUTATIONAL COMPLEXITY; Lugar: Basel; Año: 1993 vol. 3 p. 31 - 55

BANK, HEINTZ, KRICK, MANDEL, SOLERNO

Computability and Complexity of Polynomial Optimization Problems

Lecture Notes in Economics and Mathematical Systems; Lugar: Berlin; Año: 1992 vol. 378 p. 1 - 23

HEINTZ, ROY, SOLERNO

Description des composantes connexes d'un ensemble semi-algébrique en temps simplement exponentiel

COMPTES RENDUS DE L4ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE; Lugar: Paris; Año: 1991 vol. 313 p. 167 - 170

HEINTZ, ROY, SOLERNO

Single exponential path finding in semialgebraic sets. I. The case of a regular bounded hypersurface

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 1991 vol. 508 p. 180 - 196

HEINTZ, KRICK, ROY, SOLERNO

Geometric problems solvable in single exponential time

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 1991 vol. 508 p. 11 - 23

SOLERNÓ

Effective Łojasiewicz inequalities in semialgebraic geometry

APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING; Lugar: Berlin; Año: 1991 vol. 2 p. 2 - 14

CANIGLIA, DANÓN, DICKENSTEIN, GIUSTI, HEINTZ, KRICK, SESSA, SOLERNÓ

The membership problem for unmixed polynomial ideals is solvable in single exponential time

DISCRETE APPLIED MATHEMATICS; Lugar: Amsterdam; Año: 1991 vol. 33 p. 73 - 94

GRIGORIEV, HEINTZ, ROY, SOLERNO, VOROBJOV

Comptage des composantes connexes d'un ensemble semi-algébrique en temps simplement exponentiel

COMPTES RENDUS DE L4ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE; Lugar: Paris; Año: 1990 vol. 311 p. 879 - 882

HEINTZ, ROY, SOLERNO

Sur la complexité du principe de Tarski-Seidenberg

BUL. DE LA SOCIETE MATHEMATIQUE DE FRANCE & MEMOIRES DE LA SOCIETE MATH FRANCE; Lugar: Paris; Año: 1990 vol. 118 p. 101 - 126

BANK, HEINTZ, KRICK, MANDEL, SOLERNO

Une borne géométrique pour la programmation entière à contraintes polynomiales

COMPTES RENDUS DE L4ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE; Lugar: Paris; Año: 1990 vol. 310 p. 475 - 478

GALLIGO, ANDRÉ; MORGENSTERN, JACQUES; CANIGLIA, DANÓN, HEINTZ, KRICK, SOLERNÓ, GALLIGO, MORGENSTERN

Algorithmes rapides en séquentiel et en parallèle pour l'élimination des quantificateurs en géométrie élémentaire

Publications mathématiques de l'Université Paris 7; Lugar: Paris; Año: 1990 vol. 32 p. 103 - 145

CANIGLIA, DANÓN, HEINTZ, KRICK, SOLERNÓ, GALLIGO, MORGENSTERN

Precise sequential and parallel complexity bounds for the quantifier elimination over algebraically closed fields

JOURNAL OF PURE AND APPLIED ALGEBRA; Lugar: Amsterdam; Año: 1990 vol. 67 p. 1 - 14

CANIGLIA, CORTIÑAS, DANÓN, GALLIGO, HEINTZ, KRICK, SOLERNÓ

Nullstellensatz effectif et Conjecture de Serre (Théorème de Quillen-Suslin)

MATHEMATISCHE NACHRICHTEN; Lugar: Weinheim; Año: 1990 vol. 149 p. 231 - 253

HEINTZ, ROY, SOLERNO

Complexité du principe de Tarski-Seidenberg

COMPTES RENDUS DE L4ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE; Lugar: Paris; Año: 1989 vol. 309 p. 825 - 830

HEINTZ, ROY, SOLERNO

On the complexity of semialgebraic sets

INFORMATION PROCESSING LETTERS; Lugar: Amsterdam; Año: 1989 vol. 89 p. 293 - 298