VerifyRealRoots

A MATLAB package for computing real verified solutions of polynomial systems of equations and inequalities

Zhengfeng Yang and Lihong Zhi

Polynomial systems of equations

These equation examples come from homepage of professor Jan Verschelde.
● Performance summary

Demos