VerifyRealRoots Documentation

Welcome to VerifyRealRoots's documentation!

VerifyRealRoots is a MATLAB package for computing real verified solutions of polynomial systems of equations and inequalities.

A short tutorial

This page provides a quick getting started guide

     - Supported platforms
     - Downloading and installing
     - Input formats
     - Output formats

The options of VerifyRealRoots

This page provides a list of the meaning of each option

- Options of MMCRSolver
- Options of Hom4ps

Frequently asked questions

This page provides solutions of some possible problems

- Recommended C++ compiler
- Error while running "configure.m"