Kisun Lee

According to our database, Kisun Lee authored at least 17 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Rigid homotopies for sampling from algebraic varieties: a Waring structure complexity model.

Abigail R. Jones, Kisun Lee, Jose Israel Rodriguez

CoRR, May, 2026

Certifying Galois/monodromy Actions via Homotopy Graphs.

Timothy Duff, Kisun Lee

CoRR, March, 2026

Certified surface approximations using the interval Krawczyk test.

Michael Burr, Jonathan D. Hauenstein, Kisun Lee

CoRR, February, 2026

2025

A priori bounds for certified Krawczyk homotopy tracking.

Kisun Lee

CoRR, December, 2025

Certified algebraic curve projections by path tracking.

Michael A. Burr, Michael Byrd, Kisun Lee

Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, 2025

2024

Two-step Newton's method for deflation-one singular zeros of analytic systems.

Kisun Lee, Nan Li, Lihong Zhi

J. Symb. Comput., July, 2024

Certified homotopy tracking using the Krawczyk method.

Timothy Duff, Kisun Lee

Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024

Effective Alpha Theory Certification Using Interval Arithmetic: Alpha Theory over Regions.

Kisun Lee

Proceedings of the Mathematical Software - ICMS 2024, 2024

2023

Correction to: On the Polyhedral Homotopy Method for Solving Generalized Nash Equilibrium Problems of Polynomials.

Kisun Lee, Xindong Tang

J. Sci. Comput., June, 2023

On the Polyhedral Homotopy Method for Solving Generalized Nash Equilibrium Problems of Polynomials.

Kisun Lee, Xindong Tang

J. Sci. Comput., April, 2023

Isolating clusters of zeros of analytic systems using arbitrary-degree inflation.

Michael A. Burr, Kisun Lee, Anton Leykin

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2022

The NumericalCertification package in Macaulay2.

Kisun Lee

CoRR, 2022

Implementing real polyhedral homotopy.

Kisun Lee, Julia Lindberg, Jose Israel Rodriguez

CoRR, 2022

Homotopy Techniques for Analytic Combinatorics in Several Variables.

Kisun Lee, Stephen Melczer, Josip Smolcic

Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022

2019

Certifying approximate solutions to polynomial systems on Macaulay2.

Kisun Lee

ACM Commun. Comput. Algebra, 2019

Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions.

Michael A. Burr, Kisun Lee, Anton Leykin

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

2016

Solving polynomial systems via homotopy continuation and monodromy.

Timothy Duff, Cvetelina Hill, Anders Nedergaard Jensen, Kisun Lee, Anton Leykin, Jeff Sommars

CoRR, 2016