The NumericalCertification package in Macaulay2

arXiv2208.01784MaRDI QIDQ6406814FDOQ6406814

Authors: Kisun Lee 

Publication date: 2 August 2022

Abstract: The package exttt{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 $alpha$-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 exttt{Macaulay2}.

Mathematics Subject Classification ID

Numerical algebraic geometry (65H14)

This page was built for publication: The NumericalCertification package in Macaulay2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6406814)