A Dataset of Nonlinear Equations for Subdivision

This dataset SDD is a collection of zero-dimensional square systems of nonlinear equations together with their solution information obtained mainly by subdivision methods. It contains 453 polynomial systems and 130 non-polynomial systems collected from the literature and public datasets, and 48000 nonlinear system instances generated from 5 families of parametric systems arising in practical applications. The solutions are obtained by two subdivision solvers IbexSolve and RealPaver as well as a symbolic solver RootFinding:-Isolate in Maple. More detailed information on the dataset can be found in the file readme.txt inside the main directory of SDD.