NumericalCertification : Table of Contents
-
-
alphaCertified -- certify a list of numerical solutions via alphaCertified
-
-
CCi -- a class of all complex intervals
-
CCiMatrix -- a class of matrices of complex intervals
-
-
-
certifyRealSolution -- determine whether a given point is an real approximate solution to the system
-
-
certifySingularSolution -- certify if a given point is a singular solution for a given system using the deflation method.
-
-
computeConstants -- compute the square of the auxiliary quantities related to alpha theory
-
-
krawczykRealnessTest -- certify the realness of the associated solution for the square polynomial system from the given interval box
-
krawczykTest -- certify the interval box for square polynomial system
-