| Publication | Date of Publication | Type |
|---|
Algebraic winding numbers
Journal of Algebra | 2024-09-30 | Paper |
Aspects of the gender gap in mathematics
European Mathematical Society Magazine | 2024-05-03 | Paper |
Algebraic Winding Numbers
| 2023-05-15 | Paper |
European Women in Mathematics and the Uropean Mathematical Society's Women in Mathematics Committee
| 2022-11-18 | Paper |
International initiatives for women mathematicians
| 2022-11-18 | Paper |
Quantifier elimination versus Hilbert's seventeenth problem
| 2022-09-09 | Paper |
Bounds for polynomials on algebraic numbers and application to curve topology
Discrete & Computational Geometry | 2022-03-22 | Paper |
Quantitative curve selection lemma
Mathematische Zeitschrift | 2022-03-15 | Paper |
A new general formula for the Cauchy index on an interval with subresultants
Journal of Symbolic Computation | 2021-09-29 | Paper |
Quantitative result on the deviation of a real algebraic curve from its vertical tangents
Trends in Mathematics | 2021-03-22 | Paper |
Quantitative fundamental theorem of algebra
The Quarterly Journal of Mathematics | 2021-02-02 | Paper |
Strengthening mathematics in the developing world
Proceedings of the International Congress of Mathematicians (ICM 2018) | 2020-09-22 | Paper |
The gender gap in mathematical and natural sciences from a historical perspective
Proceedings of the International Congress of Mathematicians (ICM 2018) | 2020-09-22 | Paper |
A Data Analysis of Women’s Trails Among ICM Speakers
Association for Women in Mathematics Series | 2020-07-07 | Paper |
An elementary recursive bound for effective Positivstellensatz and Hilbert's 17th problem
Memoirs of the American Mathematical Society | 2020-05-06 | Paper |
May 12: Celebrating Women in Mathematics
Notices of the American Mathematical Society | 2020-03-04 | Paper |
Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation
Journal of Symbolic Computation | 2019-06-28 | Paper |
Elementary recursive quantifier elimination based on Thom encoding and sign determination
Annals of Pure and Applied Logic | 2017-05-18 | Paper |
On the computation of the topology of plane curves
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
Complexity of deciding connectivity in real algebraic sets
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
A baby step-giant step roadmap algorithm for general algebraic sets
Foundations of Computational Mathematics | 2015-01-16 | Paper |
Divide and conquer roadmap for algebraic sets
Discrete & Computational Geometry | 2014-10-29 | Paper |
Interview with Tomás Recio
European Mathematical Society Newsletter | 2014-04-29 | Paper |
Zero-nonzero and real-nonreal sign determination
Linear Algebra and its Applications | 2014-02-19 | Paper |
New fast Euclidean algorithms
Journal of Symbolic Computation | 2013-01-10 | Paper |
Sylvester double sums and subresultants
Journal of Symbolic Computation | 2011-03-09 | Paper |
Bounding the radii of balls meeting every connected component of semi-algebraic sets
Journal of Symbolic Computation | 2010-11-19 | Paper |
Computing the first Betti number and the connected components of semi-algebraic sets
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing | 2010-08-16 | Paper |
An asymptotically tight bound on the number of semi-algebraically connected components of realizable sign conditions
Combinatorica | 2010-08-13 | Paper |
Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials
Journal of the European Mathematical Society (JEMS) | 2010-04-29 | Paper |
scientific article; zbMATH DE number 5667229 (Why is no real title available?)
| 2010-02-05 | Paper |
Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials
Journal of Algebra | 2009-06-17 | Paper |
scientific article; zbMATH DE number 5510536 (Why is no real title available?)
| 2009-02-24 | Paper |
Computing the first Betti number of a semi-algebraic set
Foundations of Computational Mathematics | 2008-08-20 | Paper |
Certificates of positivity in the Bernstein basis
Discrete & Computational Geometry | 2008-08-19 | Paper |
Algorithms in real algebraic geometry
Algorithms and Computation in Mathematics | 2006-09-13 | Paper |
scientific article; zbMATH DE number 5019917 (Why is no real title available?)
| 2006-04-28 | Paper |
Betti number bounds, applications and algorithms
| 2006-04-28 | Paper |
scientific article; zbMATH DE number 2247262 (Why is no real title available?)
| 2006-01-16 | Paper |
scientific article; zbMATH DE number 2209741 (Why is no real title available?)
| 2005-09-28 | Paper |
Generalized Budan--Fourier theorem and virtual roots
Journal of Complexity | 2005-09-02 | Paper |
scientific article; zbMATH DE number 2187719 (Why is no real title available?)
| 2005-07-20 | Paper |
Computing the Euler-Poincaré characteristics of sign conditions
Computational Complexity | 2005-06-16 | Paper |
On the Betti numbers of sign conditions
Proceedings of the American Mathematical Society | 2005-01-05 | Paper |
Algorithms in real algebraic geometry
Algorithms and Computation in Mathematics | 2003-07-16 | Paper |
Finding at least one point in each connected component of a real algebraic set defined by a single equation
Journal of Complexity | 2003-04-01 | Paper |
scientific article; zbMATH DE number 1687045 (Why is no real title available?)
| 2002-08-11 | Paper |
scientific article; zbMATH DE number 1766935 (Why is no real title available?)
| 2002-07-11 | Paper |
The complexification and degree of a semi-algebraic set.
Mathematische Zeitschrift | 2002-06-18 | Paper |
Dynamical method in algebra: Effective Nullstellensätze
Annals of Pure and Applied Logic | 2002-02-19 | Paper |
New structure theorem for subresultants
Journal of Symbolic Computation | 2001-09-12 | Paper |
scientific article; zbMATH DE number 1263388 (Why is no real title available?)
| 2001-07-16 | Paper |
Sylvester-Habicht sequences and fast Cauchy index computation
Journal of Symbolic Computation | 2001-07-02 | Paper |
scientific article; zbMATH DE number 1262423 (Why is no real title available?)
| 2001-05-13 | Paper |
scientific article; zbMATH DE number 1552088 (Why is no real title available?)
| 2001-04-01 | Paper |
Spécialisation de la suite de Sturm
RAIRO - Theoretical Informatics and Applications | 2001-03-01 | Paper |
scientific article; zbMATH DE number 1241842 (Why is no real title available?)
| 2001-02-08 | Paper |
scientific article; zbMATH DE number 1424100 (Why is no real title available?)
| 2000-06-07 | Paper |
scientific article; zbMATH DE number 1403894 (Why is no real title available?)
| 2000-02-17 | Paper |
Computing roadmaps of semi-algebraic sets on a variety
Journal of the American Mathematical Society | 1999-11-01 | Paper |
scientific article; zbMATH DE number 589123 (Why is no real title available?)
| 1999-09-30 | Paper |
scientific article; zbMATH DE number 1263312 (Why is no real title available?)
| 1999-07-20 | Paper |
scientific article; zbMATH DE number 1293244 (Why is no real title available?)
| 1999-06-29 | Paper |
scientific article; zbMATH DE number 1254270 (Why is no real title available?)
| 1999-04-22 | Paper |
scientific article; zbMATH DE number 1276814 (Why is no real title available?)
| 1999-04-20 | Paper |
scientific article; zbMATH DE number 1276817 (Why is no real title available?)
| 1999-04-20 | Paper |
scientific article; zbMATH DE number 1256732 (Why is no real title available?)
| 1999-03-01 | Paper |
scientific article; zbMATH DE number 1192471 (Why is no real title available?)
| 1998-11-09 | Paper |
scientific article; zbMATH DE number 1157663 (Why is no real title available?)
| 1998-10-01 | Paper |
scientific article; zbMATH DE number 1201576 (Why is no real title available?)
| 1998-09-22 | Paper |
scientific article; zbMATH DE number 1157660 (Why is no real title available?)
| 1998-09-13 | Paper |
scientific article; zbMATH DE number 1023365 (Why is no real title available?)
| 1998-09-07 | Paper |
Cauchy index computation
Calcolo | 1998-08-10 | Paper |
scientific article; zbMATH DE number 939802 (Why is no real title available?)
| 1998-01-25 | Paper |
On the combinatorial and algebraic complexity of quantifier elimination
Journal of the ACM | 1998-01-22 | Paper |
scientific article; zbMATH DE number 953041 (Why is no real title available?)
| 1998-01-15 | Paper |
scientific article; zbMATH DE number 939806 (Why is no real title available?)
| 1997-10-20 | Paper |
Multivariate Descartes' rule
Beiträge zur Algebra und Geometrie | 1997-09-17 | Paper |
On computing a set of points meeting every cell defined by a family of polynomials on a variety
Journal of Complexity | 1997-07-28 | Paper |
Computing Roadmaps of Semi-algebraic Sets on a Variety (Extended Abstract)
Foundations of Computational Mathematics | 1997-06-12 | Paper |
scientific article; zbMATH DE number 939818 (Why is no real title available?)
| 1997-03-25 | Paper |
Semi-algebraic complexity of quotients and sign determination of remainders
Journal of Complexity | 1997-02-04 | Paper |
On the number of cells defined by a family of polynomials on a variety
Mathematika | 1997-01-06 | Paper |
The Positivstellensatz and Small Deduction Rules for Systems of Inequalities
Mathematische Nachrichten | 1996-11-25 | Paper |
scientific article; zbMATH DE number 797449 (Why is no real title available?)
| 1995-10-25 | Paper |
Finding irreducible components of some real transcendental varieties
Computational Complexity | 1994-09-01 | Paper |
scientific article; zbMATH DE number 203206 (Why is no real title available?)
| 1994-05-19 | Paper |
Description of the connected components of a semialgebraic set in single exponential time
Discrete & Computational Geometry | 1994-04-21 | Paper |
scientific article; zbMATH DE number 94682 (Why is no real title available?)
| 1993-01-16 | Paper |
On the Theoretical and Practical Complexity of the Existential Theory of Reals
The Computer Journal | 1993-01-01 | Paper |
scientific article; zbMATH DE number 66679 (Why is no real title available?)
| 1992-09-27 | Paper |
scientific article; zbMATH DE number 34393 (Why is no real title available?)
| 1992-06-28 | Paper |
scientific article; zbMATH DE number 27176 (Why is no real title available?)
| 1992-06-27 | Paper |
scientific article; zbMATH DE number 17835 (Why is no real title available?)
| 1992-06-26 | Paper |
scientific article; zbMATH DE number 17838 (Why is no real title available?)
| 1992-06-26 | Paper |
scientific article; zbMATH DE number 16663 (Why is no real title available?)
| 1992-06-26 | Paper |
scientific article; zbMATH DE number 17988 (Why is no real title available?)
| 1992-06-26 | Paper |
scientific article; zbMATH DE number 10786 (Why is no real title available?)
| 1992-06-25 | Paper |
Sur la complexité du principe de Tarski-Seidenberg
Bulletin de la Société mathématique de France | 1992-06-25 | Paper |
scientific article; zbMATH DE number 8550 (Why is no real title available?)
| 1992-06-25 | Paper |
scientific article; zbMATH DE number 4210287 (Why is no real title available?)
| 1991-01-01 | Paper |
Spécialisation de la suite de Sturm et sous-résultants (I)
RAIRO - Theoretical Informatics and Applications | 1990-01-01 | Paper |
Complexity of computation on real algebraic numbers
Journal of Symbolic Computation | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4183588 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4196108 (Why is no real title available?)
| 1990-01-01 | Paper |
A theorem on random polynomials and some consequences in average complexity
Journal of Symbolic Computation | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4111909 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4154415 (Why is no real title available?)
| 1989-01-01 | Paper |
Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
Journal of Symbolic Computation | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4012804 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4029737 (Why is no real title available?)
| 1987-01-01 | Paper |
Real strict localizations
Mathematische Zeitschrift | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3977148 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3941646 (Why is no real title available?)
| 1985-01-01 | Paper |
La topologie du spectre réel
Ordered fields and real algebraic geometry | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3783168 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3710375 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3832103 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3749181 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3674241 (Why is no real title available?)
| 1980-01-01 | Paper |
Contribution to the study of the natural number object in elementary topoi
Journal of Pure and Applied Algebra | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3665181 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3786956 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3648866 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3442060 (Why is no real title available?)
| 1974-01-01 | Paper |
