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 451 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. This is the third version of SDD. In this verison, we have further fixed some errors in the second version for some systems. Please refer to revision-1.txt for the detailed difference between V1 and V2 and revision-2.txt for the the detailed difference between V2 and V3.

本数据集SDD是一组零维方形非线性方程组的集合，并附带主要通过细分方法得到的求解信息。该数据集包含451个多项式方程组与130个非多项式方程组，这些方程组均采集自公开文献与公共数据集；同时包含48000个非线性方程组实例，这些实例由实际应用场景中产生的5类参数化系统生成。其求解结果由两款细分求解器IbexSolve、RealPaver以及Maple中的符号求解器RootFinding:-Isolate得到。有关该数据集的更多详细信息，可查阅SDD主目录下的readme.txt文件。本数据集为SDD的第三版。在本版中，我们修复了第二版中部分方程组存在的错误。如需了解V1与V2、V2与V3之间的详细差异，请分别查阅revision-1.txt与revision-2.txt文件。