VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities

VerifyRealRoots is a Matlab package for computing and verifying real solutions of polynomial systems of equations and inequalities. It calls Bertini or MMCRSolver for finding approximate real solutions and then applies AINLSS to verify the existence of a regular solution of a polynomial system or applies AINLSS2 (AIVISS) to verify the existence of a double solution (a singular solution of an arbitrary multiplicity) of a slightly perturbed polynomial system.