| Publication | Date of Publication | Type |
|---|
Improved effective Łojasiewicz inequality and applications
Forum of Mathematics, Sigma | 2024-12-12 | Paper |
Computing the homology functor on semi-algebraic maps and diagrams
Discrete & Computational Geometry | 2024-11-22 | Paper |
Efficient computation of a semi-algebraic basis of the first homology group of a semi-algebraic set
Discrete & Computational Geometry | 2024-10-25 | Paper |
Marie-Françoise Roy
Notices of the American Mathematical Society | 2024-09-26 | Paper |
| Randomized functions with high round complexity | 2024-08-01 | Paper |
On the complexity of analyticity in semi-definite optimization
Advances in Applied Mathematics | 2024-03-21 | Paper |
| Equivariance in Approximation by Compact Sets | 2023-12-27 | Paper |
Persistent Homology of Semialgebraic Sets
SIAM Journal on Applied Algebra and Geometry | 2023-11-16 | Paper |
Hausdorff approximations and volume of tubes of singular algebraic sets
Mathematische Annalen | 2023-09-07 | Paper |
Efficient simplicial replacement of semialgebraic sets
Forum of Mathematics, Sigma | 2023-06-05 | Paper |
Topology of real multi-affine hypersurfaces and a homological stability property
Advances in Mathematics | 2023-04-26 | Paper |
| Improved effective {\L}ojasiewicz inequality and applications | 2022-11-18 | Paper |
Vandermonde varieties, mirrored spaces, and the cohomology of symmetric semi-algebraic sets
Foundations of Computational Mathematics | 2022-10-21 | Paper |
A topological data analysis approach on predicting phenotypes from gene expression data
Algorithms for Computational Biology | 2022-10-13 | Paper |
On the Reeb spaces of definable maps
Discrete & Computational Geometry | 2022-08-25 | Paper |
| Sequents, barcodes, and homology | 2022-08-02 | Paper |
| Computing the homology functor on semi-algebraic maps and diagrams | 2022-07-21 | Paper |
| Essential Simplices in Persistent Homology and Subtle Admixture Detection | 2022-07-18 | Paper |
On the central path of semidefinite optimization: degree and worst-case convergence rate
SIAM Journal on Applied Algebra and Geometry | 2022-06-08 | Paper |
Topology of real multi-affine hypersurfaces and a homological stability property
(available as arXiv preprint) | 2022-04-04 | Paper |
Quantitative curve selection lemma
Mathematische Zeitschrift | 2022-03-15 | Paper |
| Efficient computation of a semi-algebraic basis of the first homology group of a semi-algebraic set | 2021-07-19 | Paper |
Zeroes of polynomials on definable hypersurfaces: pathologies exist, but they are rare
The Quarterly Journal of Mathematics | 2021-07-12 | Paper |
VC density of definable families over valued fields
Journal of the European Mathematical Society (JEMS) | 2021-07-05 | Paper |
| Harmonic Persistent Homology | 2021-05-31 | Paper |
| A stationary set method for estimating oscillatory integrals | 2021-03-16 | Paper |
Connectivity of joins, cohomological quantifier elimination, and an algebraic Toda's theorem
Selecta Mathematica. New Series | 2020-10-13 | Paper |
Categorical complexity
Forum of Mathematics, Sigma | 2020-08-03 | Paper |
On the isotypic decomposition of cohomology modules of symmetric semi-algebraic sets: polynomial bounds on multiplicities
IMRN. International Mathematics Research Notices | 2020-05-04 | Paper |
| Betti Numbers of Random Hypersurface Arrangements | 2019-11-29 | Paper |
Random fields and the enumerative geometry of lines on real and complex hypersurfaces
Mathematische Annalen | 2019-07-30 | Paper |
An o-minimal Szemerédi-Trotter theorem
The Quarterly Journal of Mathematics | 2018-09-27 | Paper |
On the equivariant Betti numbers of symmetric definable sets: vanishing, bounds and algorithms
Selecta Mathematica. New Series | 2018-09-21 | Paper |
Multi-degree bounds on the Betti numbers of real varieties and semi-algebraic sets and applications
Discrete & Computational Geometry | 2018-04-20 | Paper |
Efficient algorithms for computing the Euler-Poincaré characteristic of symmetric semi-algebraic sets
Ordered Algebraic Structures and Related Topics | 2018-04-16 | Paper |
Algorithms in real algebraic geometry: a survey
(available as arXiv preprint) | 2018-02-23 | Paper |
Spectral sequences, exact couples and persistent homology of filtrations
Expositiones Mathematicae | 2017-10-06 | Paper |
Different bounds on the different Betti numbers of semi-algebraic sets
Proceedings of the seventeenth annual symposium on Computational geometry | 2017-09-29 | Paper |
An o-minimal Szemer\'edi-Trotter theorem
(available as arXiv preprint) | 2016-11-22 | Paper |
Bounding the equivariant Betti numbers of symmetric semi-algebraic sets
Advances in Mathematics | 2016-11-14 | Paper |
Topological signatures for population admixture
Lecture Notes in Computer Science | 2016-06-22 | Paper |
| Bounds on the individual Betti numbers of complex varieties, stability and algorithms | 2016-06-13 | Paper |
On a real analog of Bézout inequality and the number of connected components of sign conditions
Proceedings of the London Mathematical Society. Third Series | 2016-03-22 | Paper |
Polynomial partitioning on varieties of codimension two and point-hypersurface incidences in four dimensions
Discrete & Computational Geometry | 2016-02-29 | Paper |
Triangulations of monotone families. I: two-dimensional families
Proceedings of the London Mathematical Society | 2015-12-18 | Paper |
Triangulations of monotone families. I: two-dimensional families
Proceedings of the London Mathematical Society | 2015-12-18 | Paper |
A complexity theory of constructible functions and sheaves
Foundations of Computational Mathematics | 2015-04-20 | Paper |
A baby step-giant step roadmap algorithm for general algebraic sets
Foundations of Computational Mathematics | 2015-01-16 | Paper |
On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials
Journal of the European Mathematical Society (JEMS) | 2014-10-31 | Paper |
Divide and conquer roadmap for algebraic sets
Discrete & Computational Geometry | 2014-10-29 | Paper |
Polynomial hierarchy, Betti numbers and a real analogue of Toda's theorem
2009 50th Annual IEEE Symposium on Foundations of Computer Science | 2014-07-25 | Paper |
A Helly-type theorem for semi-monotone sets and monotone maps
Discrete & Computational Geometry | 2014-01-24 | Paper |
Semi-monotone sets
Journal of the European Mathematical Society (JEMS) | 2013-03-07 | Paper |
Monotone functions and maps
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM | 2013-03-06 | Paper |
A complex analogue of Toda's theorem
Foundations of Computational Mathematics | 2012-10-01 | Paper |
Refined bounds on the number of connected components of sign conditions on a variety
Discrete & Computational Geometry | 2012-04-04 | Paper |
| Toric cubes are closed balls | 2012-02-24 | Paper |
Bounding the radii of balls meeting every connected component of semi-algebraic sets
Journal of Symbolic Computation | 2010-11-19 | Paper |
Polynomial hierarchy, Betti numbers, and a real analogue of Toda's theorem
Foundations of Computational Mathematics | 2010-10-06 | 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 |
Polynomial time algorithm for computing the top Betti numbers of semi-algebraic sets defined by quadratic inequalities
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 |
Computing the betti numbers of arrangements
Proceedings of the thiry-fourth annual ACM symposium on Theory of computing | 2010-08-05 | 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 |
Combinatorial complexity in o-minimal geometry
Proceedings of the London Mathematical Society | 2010-03-15 | Paper |
Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials
Journal of Algebra | 2009-06-17 | Paper |
Polynomials that sign represent parity and Descartes' rule of signs
Computational Complexity | 2009-06-17 | Paper |
| On projections of semi-algebraic sets defined by few quadratic inequalities | 2009-04-14 | Paper |
On the number of topological types occurring in a parameterized family of arrangements
Discrete & Computational Geometry | 2009-03-24 | Paper |
Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities
Proceedings of the London Mathematical Society | 2009-03-20 | Paper |
| scientific article; zbMATH DE number 5485436 (Why is no real title available?) | 2009-01-05 | Paper |
Computing the top Betti numbers of semialgebraic sets defined by quadratic inequalities in polynomial time
Foundations of Computational Mathematics | 2008-08-20 | Paper |
Computing the first Betti number of a semi-algebraic set
Foundations of Computational Mathematics | 2008-08-20 | Paper |
A sharper estimate on the Betti numbers of sets defined by quadratic inequalities
Discrete & Computational Geometry | 2008-08-19 | Paper |
Algorithmic Semi-algebraic Geometry and Topology -- Recent Progress and Open Problems
(available as arXiv preprint) | 2008-07-21 | Paper |
On projections of semi-algebraic sets defined by few quadratic inequalities
Discrete & Computational Geometry | 2008-04-16 | Paper |
On the number of homotopy types of fibres of a definable map
Journal of the London Mathematical Society | 2008-01-16 | Paper |
Computing the first few Betti numbers of semi-algebraic sets in single exponential time
Journal of Symbolic Computation | 2007-10-23 | Paper |
Efficient algorithm for computing the Euler-Poincaré characteristic of a semi-algebraic set defined by few quadratic inequalities
Computational Complexity | 2007-01-24 | Paper |
Algorithms in real algebraic geometry
Algorithms and Computation in Mathematics | 2006-09-13 | Paper |
Computer Algebra in Scientific Computing
Lecture Notes in Computer Science | 2006-07-07 | Paper |
| Betti number bounds, applications and algorithms | 2006-04-28 | Paper |
| scientific article; zbMATH DE number 5019898 (Why is no real title available?) | 2006-04-28 | Paper |
Graph Drawing
Lecture Notes in Computer Science | 2005-12-07 | 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 |
New results on quantifier elimination over real closed fields and applications to constraint databases
Journal of the ACM | 2005-01-25 | Paper |
On the Betti numbers of sign conditions
Proceedings of the American Mathematical Society | 2005-01-05 | Paper |
Computing the Betti numbers of arrangements via spectral sequences
Journal of Computer and System Sciences | 2004-11-18 | Paper |
Design of CAECC - cellular automata based error correcting code
IEEE Transactions on Computers | 2003-10-16 | Paper |
Different bounds on the different Betti numbers of semi-algebraic sets
Discrete & Computational Geometry | 2003-08-21 | Paper |
Algorithms in real algebraic geometry
Algorithms and Computation in Mathematics | 2003-07-16 | Paper |
The combinatorial and topological complexity of a single cell
Discrete & Computational Geometry | 2003-03-17 | Paper |
On bounding the Betti numbers and computing the Euler characteristic of semi-algebraic sets
Discrete & Computational Geometry | 2001-11-28 | Paper |
| scientific article; zbMATH DE number 1262423 (Why is no real title available?) | 2001-05-13 | 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 1256759 (Why is no real title available?) | 1999-08-04 | Paper |
| scientific article; zbMATH DE number 1253959 (Why is no real title available?) | 1999-05-30 | Paper |
| scientific article; zbMATH DE number 1256732 (Why is no real title available?) | 1999-03-01 | Paper |
| scientific article; zbMATH DE number 1157663 (Why is no real title available?) | 1998-10-01 | Paper |
On the combinatorial and algebraic complexity of quantifier elimination
Journal of the ACM | 1998-01-22 | 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 |
On the number of cells defined by a family of polynomials on a variety
Mathematika | 1997-01-06 | Paper |
| scientific article; zbMATH DE number 797449 (Why is no real title available?) | 1995-10-25 | Paper |
