Kisun Lee

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 18

Top Topics

Management System

Approximate Solutions

Nash Equilibrium

Top Venues

J. Sci. Comput.

Publications

Timothy Duff, Kisun Lee
Certified homotopy tracking using the Krawczyk method. ISSAC (2024)
Kisun Lee, Nan Li, Lihong Zhi
Two-step Newton's method for deflation-one singular zeros of analytic systems. J. Symb. Comput. 123 (2024)
Kisun Lee
Effective Alpha Theory Certification Using Interval Arithmetic: Alpha Theory over Regions. ICMS (2024)
Kisun Lee
Effective alpha theory certification using interval arithmetic: alpha theory over regions. CoRR (2024)
Timothy Duff, Kisun Lee
Certified homotopy tracking using the Krawczyk method. CoRR (2024)
Michael A. Burr, Kisun Lee, Anton Leykin
Isolating clusters of zeros of analytic systems using arbitrary-degree inflation. CoRR (2023)
Kisun Lee, Xindong Tang
Correction to: On the Polyhedral Homotopy Method for Solving Generalized Nash Equilibrium Problems of Polynomials. J. Sci. Comput. 95 (3) (2023)
Michael A. Burr, Kisun Lee, Anton Leykin
Isolating clusters of zeros of analytic systems using arbitrary-degree inflation. ISSAC (2023)
Kisun Lee, Nan Li, Lihong Zhi
Two-step Newton's method for deflation-one singular zeros of analytic systems. CoRR (2023)
Kisun Lee, Xindong Tang
On the Polyhedral Homotopy Method for Solving Generalized Nash Equilibrium Problems of Polynomials. J. Sci. Comput. 95 (1) (2023)
Kisun Lee
The NumericalCertification package in Macaulay2. CoRR (2022)
Kisun Lee, Stephen Melczer, Josip Smolcic
Homotopy techniques for analytic combinatorics in several variables. CoRR (2022)
Kisun Lee, Stephen Melczer, Josip Smolcic
Homotopy Techniques for Analytic Combinatorics in Several Variables. SYNASC (2022)
Kisun Lee, Julia Lindberg, Jose Israel Rodriguez
Implementing real polyhedral homotopy. CoRR (2022)
Michael A. Burr, Kisun Lee, Anton Leykin
Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions. ISSAC (2019)
Kisun Lee
Certifying approximate solutions to polynomial systems on Macaulay2. ACM Commun. Comput. Algebra 53 (2) (2019)
Michael A. Burr, Kisun Lee, Anton Leykin
Effective certification of approximate solutions to systems of equations involving analytic functions. CoRR (2019)
Timothy Duff, Cvetelina Hill, Anders Nedergaard Jensen, Kisun Lee, Anton Leykin, Jeff Sommars
Solving polynomial systems via homotopy continuation and monodromy. CoRR (2016)