We propose a two-step Newton's method for refining an approximation of a...
Given a system of analytic functions and an approximation to a cluster o...
We combine tools from homotopy continuation solvers with the methods of
...
The package implements methods for certifying
numerical approximations ...
We implement a real polyhedral homotopy method using three functions. Th...
We study the problem of low-rank matrix completion for symmetric matrice...
We develop algorithms for certifying an approximation to a nonsingular
s...
We study methods for finding the solution set of a generic system in a f...