3 papers
math.NT2022
A -adic Descartes solver: the Strassman solver
Josué Tonelli-Cueto
Solving polynomials is a fundamental computational problem in mathematics. In the real setting, we can use Descartes' rule of signs to efficiently isolate the real roots of a squar…
math.PR2018
On the Number of Real Zeros of Random Fewnomials
Peter Bürgisser, Alperen A. Ergür, Josué Tonelli-Cueto
Consider a system of random real polynomials in variables, where each has a prescribed set of terms described by a set $A\subseteq \mathbb{…
cs.CG2018
Computing the Homology of Semialgebraic Sets I: Lax Formulas
Peter Bürgisser, Felipe Cucker, Josué Tonelli-Cueto
We describe and analyze an algorithm for computing the homology (Betti numbers and torsion coefficients) of closed semialgebraic sets given by Boolean formulas without negations ov…