| Publication | Date of Publication | Type |
|---|
Algebraic winding numbers
Journal of Algebra | 2024-09-30 | Paper |
Rational certificates of non-negativity on semialgebraic subsets of cylinders
Journal of Pure and Applied Algebra | 2024-02-23 | Paper |
| Algebraic Winding Numbers | 2023-05-15 | Paper |
Topology of real multi-affine hypersurfaces and a homological stability property
Advances in Mathematics | 2023-04-26 | Paper |
A few more extensions of Putinar's Positivstellensatz to non-compact sets
advg | 2022-07-22 | Paper |
Topology of real multi-affine hypersurfaces and a homological stability property
(available as arXiv preprint) | 2022-04-04 | Paper |
A new general formula for the Cauchy index on an interval with subresultants
Journal of Symbolic Computation | 2021-09-29 | Paper |
On sum of squares certificates of non-negativity on a strip
Journal of Pure and Applied Algebra | 2021-03-03 | Paper |
Quantitative fundamental theorem of algebra
The Quarterly Journal of Mathematics | 2021-02-02 | Paper |
A version of Putinar's Positivstellensatz for cylinders
Journal of Pure and Applied Algebra | 2021-01-22 | Paper |
An elementary recursive bound for effective Positivstellensatz and Hilbert's 17th problem
Memoirs of the American Mathematical Society | 2020-05-06 | Paper |
On the Davenport-Mahler bound
Journal of Complexity | 2017-07-04 | Paper |
Elementary recursive quantifier elimination based on Thom encoding and sign determination
Annals of Pure and Applied Logic | 2017-05-18 | Paper |
A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set
Discrete & Computational Geometry | 2014-10-29 | Paper |
Zero-nonzero and real-nonreal sign determination
Linear Algebra and its Applications | 2014-02-19 | Paper |
On the Minimum of a Polynomial Function on a Basic Closed Semialgebraic Set and Applications
SIAM Journal on Optimization | 2013-06-27 | Paper |
Linear solving for sign determination
Theoretical Computer Science | 2011-09-12 | Paper |
Linear solving for sign determination
Theoretical Computer Science | 2011-09-12 | Paper |
A parametric representation of totally mixed Nash equilibria
Computers & Mathematics with Applications | 2010-06-28 | Paper |
On sign conditions over real multivariate polynomials
Discrete & Computational Geometry | 2010-06-21 | Paper |
On the minimum of a positive polynomial over the standard simplex
Journal of Symbolic Computation | 2010-03-17 | Paper |
On the minimum of a positive polynomial over the standard simplex
Journal of Symbolic Computation | 2010-03-17 | Paper |
Real roots of univariate polynomials and straight line programs
Journal of Discrete Algorithms | 2008-01-11 | Paper |
Some bounds for the number of components of real zero sets of sparse polynomials
Discrete & Computational Geometry | 2005-11-10 | Paper |
