The NumericalCertification package in Macaulay2
From MaRDI portal
Publication:6406814
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 -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}.
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)
