The NumericalCertification package in Macaulay2

08/02/2022
by   Kisun Lee, et al.
0

The package 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 .

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset