NumericalCertification : Table of Contents
NumericalCertification -- certify the solution for the square system using alpha theory or interval arithmetic
certifyCount -- executes alpha-certification on a given system and list of points
certifyDistinctSoln -- determine whether given points are distinct approximate solutions to the system
certifyRealSoln -- determine whether a given point is an real approximate solution to the system
certifySolution -- certify whether a given point is an approximate solution to the system
-
-
-
-
-
-
-
-
-
-
krawczykMethod -- certify the interval box for square polynomial system
krawczykMethodOptions -- invertible matrix for computing Krawczyk operator (option for "krawczykOper" and "krawczykMethod")
-
-
newtonOper -- apply Newton's method on a given point.
pointNorm -- compute the "projectivized" norm of the given point
polyNorm -- compute the "Bombieri-Weyl" norm of the given polynomial
polySysNorm -- compute the norm of the given polynomial system
-