research
∙
02/23/2021
Functional norms, condition numbers and numerical algorithms in algebraic geometry
In numerical linear algebra, a well-established practice is to choose a ...
research
∙
10/21/2020
Rigid continuation paths II. Structured polynomial systems
We design a probabilistic algorithm that, given ϵ>0 and a polynomial sys...
research
∙
04/15/2020
On the Complexity of the Plantinga-Vegter Algorithm
We introduce a general toolbox for precision control and complexity anal...
research
∙
03/26/2019
Computing the Homology of Semialgebraic Sets. II: General formulas
We describe and analyze an algorithm for computing the homology (Betti n...
research
∙
01/26/2019
Plantinga-Vegter algorithm takes average polynomial time
We exhibit a condition-based analysis of the adaptive subdivision algori...
research
∙
07/10/2018
Computing the Homology of Semialgebraic Sets I: Lax Formulas
We describe and analyze an algorithm for computing the homology (Betti n...
research
∙
06/22/2017