research
∙
03/25/2021
Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations
Quantifier elimination over the reals is a central problem in computatio...
share
research
∙
11/28/2020
Solving parametric systems of polynomial equations over the reals through Hermite matrices
We design a new algorithm for solving parametric systems having finitely...
research
∙
08/24/2020
Computing the Real Isolated Points of an Algebraic Hypersurface
Let ℝ be the field of real numbers. We consider the problem of computing...
research
∙
03/09/2017