Kisun Lee
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
2019–2026
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ISSAC | Certified Surface Approximations Using the Interval Krawczyk Test. | Michael Burr, Jonathan D. Hauenstein, Kisun Lee |
| 2025 | ISSAC | Certified algebraic curve projections by path tracking. | Michael A. Burr, Michael Byrd, Kisun Lee |
| 2024 | ISSAC | Certified homotopy tracking using the Krawczyk method. | Timothy Duff, Kisun Lee |
| 2023 | ISSAC | Isolating clusters of zeros of analytic systems using arbitrary-degree inflation. | Michael A. Burr, Kisun Lee, Anton Leykin |
| 2022 | SYNASC | Homotopy Techniques for Analytic Combinatorics in Several Variables. | Kisun Lee, Stephen Melczer, Josip Smolcic |
| 2019 | ISSAC | Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions. | Michael A. Burr, Kisun Lee, Anton Leykin |