Sign in
Kisun Lee
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 15
Top Topics
Management System
Approximate Solutions
High Accuracy
Causal Relationships
Top Venues
CoRR
ISSAC
J. Sci. Comput.
SYNASC
</>
Publications
</>
Kisun Lee
,
Nan Li
,
Lihong Zhi
Two-step Newton's method for deflation-one singular zeros of analytic systems.
J. Symb. Comput.
123 (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)