Showing 1–18 of 18 results
/ Date/ Name
Aug 2, 2022The NumericalCertification package in Macaulay2Feb 7, 2025Certified algebraic curve projections by path trackingAug 9, 2022Homotopy techniques for analytic combinatorics in several variablesFeb 9, 2023Isolating clusters of zeros of analytic systems using arbitrary-degree inflationSep 28, 2016Solving polynomial systems via homotopy continuation and monodromyMar 18, 2026Certifying Galois/monodromy Actions via Homotopy GraphsAug 8, 2022On the polyhedral homotopy method for solving generalized Nash equilibrium problems of polynomialsJul 12, 2022Implementing real polyhedral homotopyApr 16, 2019On isolation of singular zeros of multivariate analytic systemsApr 11, 2024The Tropical Variety of Symmetric Rank 2 MatricesJan 13, 2026Asymptotic rank bounds: a numerical censusFeb 7, 2026Certified surface approximations using the interval Krawczyk testMay 18, 2023Two-step Newton's method for deflation-one singular zeros of analytic systemsSep 14, 2019Typical ranks in symmetric matrix completionJan 24, 2019Effective certification of approximate solutions to systems of equations involving analytic functionsFeb 10, 2024Certified homotopy tracking using the Krawczyk methodMay 8, 2024Effective alpha theory certification using interval arithmetic: alpha theory over regionsDec 1, 2025A priori bounds for certified Krawczyk homotopy tracking