The NumericalCertification package in Macaulay2
Numerical Analysis
2022-08-04 v1 Numerical Analysis
Algebraic Geometry
Abstract
The package \texttt{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 \texttt{Macaulay2}.
Keywords
Cite
@article{arxiv.2208.01784,
title = {The NumericalCertification package in Macaulay2},
author = {Kisun Lee},
journal= {arXiv preprint arXiv:2208.01784},
year = {2022}
}
Comments
10 pages