research
∙
02/24/2023
SubalgebraBases in Macaulay2
We describe a recently revived version of the software package Subalgber...
share
research
∙
02/09/2023
Certified simultaneous isotopic approximation of pairs of curves via subdivision
We present a certified algorithm based on subdivision for computing an i...
research
∙
02/09/2023
Isolating clusters of zeros of analytic systems using arbitrary-degree inflation
Given a system of analytic functions and an approximation to a cluster o...
research
∙
01/12/2022
Sparse trace tests
We establish how the coefficients of a sparse polynomial system influenc...
research
∙
09/12/2020
Inflation of poorly conditioned zeros of systems of analytic functions
Given a system of analytic functions and an approximate zero, we transfo...
research
∙
01/24/2019
Effective certification of approximate solutions to systems of equations involving analytic functions
We develop algorithms for certifying an approximation to a nonsingular s...
research
∙
03/14/2018
Optimal Bounds for Johnson-Lindenstrauss Transformations
In 1984, Johnson and Lindenstrauss proved that any finite set of data in...
research
∙
01/17/2018