Kisun Lee

23 papers B 4Misc 1Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Certified surface approximations using the interval Krawczyk test.
CoRR
Michael Burr, Jonathan D. Hauenstein, Kisun Lee
2026 J jnl
Certifying Galois/monodromy Actions via Homotopy Graphs.
CoRR
Timothy Duff, Kisun Lee
2025 J jnl
A priori bounds for certified Krawczyk homotopy tracking.
CoRR
Kisun Lee
2025 B conf
Certified algebraic curve projections by path tracking.
ISSAC
Michael A. Burr, Michael Byrd, Kisun Lee
2025 J jnl
Certified algebraic curve projections by path tracking.
CoRR
Michael A. Burr, Michael Byrd, Kisun Lee
2024 B conf
Certified homotopy tracking using the Krawczyk method.
ISSAC
Timothy Duff, Kisun Lee
2024 J jnl
Certified homotopy tracking using the Krawczyk method.
CoRR
Timothy Duff, Kisun Lee
2024 — conf
Effective Alpha Theory Certification Using Interval Arithmetic: Alpha Theory over Regions.
ICMS
Kisun Lee
2024 J jnl
Effective alpha theory certification using interval arithmetic: alpha theory over regions.
CoRR
Kisun Lee
2024 J jnl
Two-step Newton's method for deflation-one singular zeros of analytic systems.
J. Symb. Comput.
Kisun Lee, Nan Li, Lihong Zhi
2023 J jnl
Correction to: On the Polyhedral Homotopy Method for Solving Generalized Nash Equilibrium Problems of Polynomials.
J. Sci. Comput.
Kisun Lee, Xindong Tang
2023 B conf
Isolating clusters of zeros of analytic systems using arbitrary-degree inflation.
ISSAC
Michael A. Burr, Kisun Lee, Anton Leykin
2023 J jnl
Isolating clusters of zeros of analytic systems using arbitrary-degree inflation.
CoRR
Michael A. Burr, Kisun Lee, Anton Leykin
2023 J jnl
On the Polyhedral Homotopy Method for Solving Generalized Nash Equilibrium Problems of Polynomials.
J. Sci. Comput.
Kisun Lee, Xindong Tang
2023 J jnl
Two-step Newton's method for deflation-one singular zeros of analytic systems.
CoRR
Kisun Lee, Nan Li, Lihong Zhi
2022 Misc conf
Homotopy Techniques for Analytic Combinatorics in Several Variables.
SYNASC
Kisun Lee, Stephen Melczer, Josip Smolcic
2022 J jnl
Homotopy techniques for analytic combinatorics in several variables.
CoRR
Kisun Lee, Stephen Melczer, Josip Smolcic
2022 J jnl
Implementing real polyhedral homotopy.
CoRR
Kisun Lee, Julia Lindberg, Jose Israel Rodriguez
2022 J jnl
The NumericalCertification package in Macaulay2.
CoRR
Kisun Lee
2019 J jnl
Certifying approximate solutions to polynomial systems on Macaulay2.
ACM Commun. Comput. Algebra
Kisun Lee
2019 B conf
Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions.
ISSAC
Michael A. Burr, Kisun Lee, Anton Leykin
2019 J jnl
Effective certification of approximate solutions to systems of equations involving analytic functions.
CoRR
Michael A. Burr, Kisun Lee, Anton Leykin
2016 J jnl
Solving polynomial systems via homotopy continuation and monodromy.
CoRR
Timothy Duff, Cvetelina Hill, Anders Nedergaard Jensen, Kisun Lee, Anton Leykin, Jeff Sommars