Solving polynomial systems via homotopy continuation and monodromy. - Timothy Duff; Cvetelina Hill; Anders Nedergaard Jensen; Kisun Lee; Anton Leykin; Jeff Sommars (CoRR, 2016)

Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions. - Michael A. Burr; Kisun Lee; Anton Leykin (ISSAC, 2019)

Certifying approximate solutions to polynomial systems on Macaulay2. - Kisun Lee (ACM Commun. Comput. Algebra, 2019)

Homotopy Techniques for Analytic Combinatorics in Several Variables. - Kisun Lee; Stephen Melczer; Josip Smolcic (SYNASC, 2022)

Implementing real polyhedral homotopy. - Kisun Lee; Julia Lindberg; Jose Israel Rodriguez (CoRR, 2022)

The NumericalCertification package in Macaulay2. - Kisun Lee (CoRR, 2022)

Isolating clusters of zeros of analytic systems using arbitrary-degree inflation. - Michael A. Burr; Kisun Lee; Anton Leykin (ISSAC, 2023)

On the Polyhedral Homotopy Method for Solving Generalized Nash Equilibrium Problems of Polynomials. - Kisun Lee; Xindong Tang (J. Sci. Comput., 2023)

Correction to: On the Polyhedral Homotopy Method for Solving Generalized Nash Equilibrium Problems of Polynomials. - Kisun Lee; Xindong Tang (J. Sci. Comput., 2023)

Effective Alpha Theory Certification Using Interval Arithmetic: Alpha Theory over Regions. - Kisun Lee (ICMS, 2024)

Certified homotopy tracking using the Krawczyk method. - Timothy Duff; Kisun Lee (ISSAC, 2024)

Two-step Newton's method for deflation-one singular zeros of analytic systems. - Kisun Lee; Nan Li 013; Lihong Zhi (J. Symb. Comput., 2024)

Certified algebraic curve projections by path tracking. - Michael A. Burr; Michael Byrd; Kisun Lee (CoRR, 2025)