The NumericalCertification package in Macaulay2

  title={The NumericalCertification package in Macaulay2},
  author={Kisun Lee},
  • Kisun Lee
  • Published 2 August 2022
  • Computer Science, Mathematics
  • ArXiv
The package NumericalCertification implements methods for certifying numerical approximations of solutions for a given system of polynomial equations. For certifying regular solutions, the package implements Smale’s α -theory and Krawczyk method. For a singular solution, we implement soft verification using the iterative deflation method. We demonstrate the functionalities of the package focusing on interaction with current numerical solvers in Macaulay2 . 
2 Citations

Homotopy techniques for analytic combinatorics in several variables

We combine tools from homotopy continuation solvers with the methods of analytic combinatorics in several variables to give the first practical algorithm and implementation for the asymptotics of

On the polyhedral homotopy method for solving generalized Nash equilibrium problems of polynomials

  • 2022




  • a software system for research in algebraic geometry. Available at,
  • 2002

Certifying zeros of polynomial systems using interval arithmetic

The software HomotopyContinuation.jl now has a built-in function certify, which proves the correctness of an isolated solution to a square system of polynomial equations, which dramatically outperforms earlier approaches to certification.


The relation between Hirnov ooil signals and the current perturbation on the rational surface is examined analytically by using the approximate Green's function for the case of large aspect ratio

Certifying approximate solutions to polynomial systems on Macaulay2

  • Kisun Lee
  • Computer Science, Mathematics
  • 2019
We present the Macaulay2 package NumericalCertification for certifying roots of square polynomial systems. It employs the interval Krawczyk method and α-theory as main methods for certification. The

Newton’s Method Estimates from Data at One Point

Newton’s method and its modifications have long played a central role in finding solutions of non-linear equations and systems. The work of Kantorovich has been seminal in extending and codifying

Journal of Software for Algebra and Geometry

The package PhylogeneticTrees for Macaulay 2 is introduced, which allows users to compute phylogenetic invariants for group-based tree models and it is shown how methods within the package can be used to compute a generating set for the join of any two ideals.

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

The 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), which is jointly sponsored by ACM/SIGSAM and the Korea Institute for Advanced Study (KIAS), will be held at KIAS

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

Algorithms for certifying an approximation to a nonsingular solution of a square system of equations built from univariate analytic functions are developed based on the existence of oracles for evaluating basic data about the input analytic functions.

A Test for Existence of Solutions to Nonlinear Systems

Computationally verifiable sufficient conditions are given for the existence of a solution to a system of nonlinear equations using an interval version of Newton’s method given by R. Krawczyk. A si...

HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia

This work presents the Julia package HomotopyContinuation.jl, which provides an algorithmic framework for solving polynomial systems by numerical homotopy continuation by motivating the choice of Julia and how its features allow to improve upon existing software packages with respect to usability, modularity and performance.