All Stories

  1. Certified homotopy tracking using the Krawczyk method

    Article • July 2024, ACM (Association for Computing Machinery)

    Kisun Lee

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

    Article • July 2023, ACM (Association for Computing Machinery)

    Kisun Lee

  3. Certifying approximate solutions to polynomial systems on Macaulay2

    Article • ACM Communications in Computer Algebra, November 2019, ACM (Association for Computing Machinery)

    Kisun Lee

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

    Article • July 2019, ACM (Association for Computing Machinery)

    Kisun Lee