3 papers
math.CO2022
Homotopy techniques for analytic combinatorics in several variables
Kisun Lee, Stephen Melczer, Josip Smolčić
We combine tools from homotopy continuation solvers with the methods of analytic combinatorics in several variables to give the first practical algorithm and implementation for the…
math.CO2019
Typical ranks in symmetric matrix completion
Daniel Irving Bernstein, Grigoriy Blekherman, Kisun Lee
We study the problem of low-rank matrix completion for symmetric matrices. The minimum rank of a completion of a generic partially specified symmetric matrix depends only on the lo…
cs.SC2019
Effective certification of approximate solutions to systems of equations involving analytic functions
Michael Burr, Kisun Lee, Anton Leykin
We develop algorithms for certifying an approximation to a nonsingular solution of a square system of equations built from univariate analytic functions. These algorithms are based…