Determinantal systems are systems of polynomial equations which encode a rank deficiency of a given matrix with polynomial entries over the solution set to other polynomial equations. Such systems arise in a number of areas of computational mathematics such as polynomial optimization, real algebraic and enumerative geometry and engineering sciences such as robotics and biology.…

The classical Descartes’ rule of signs provides an easily computable upper bound for the number of positive real roots of a univariate polynomial with real coefficients. Descartes' rule of signs is of special importance in applications where positive solutions to polynomial systems are the object of study. This is the case in reaction network theory…

Computing the homology of semialgebraic sets is a central problem in computational real algebraic geometry. However, as of today, all symbolic algorithms for this problem require still time that is doubly exponential with respect to the number of variables. The latter is so although the size of the Betti numbers is known to be singly…