Certifying approximate solutions to polynomial systems on Macaulay2

Kisun Lee

Abstract: 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 package works with output data computed in Macaulay2 with no need for external software. Also, our implementation supports the Krawczyk method which uses interval arithmetic.