In this paper, we report on the largest labelled dataset constructed so far for solving zero-dimensional square nonlinear systems with subdivision-based methods. A brief, non-exhaustive survey with emphasis on the literature from the past two decades is also provided to accompany with the dataset. The value of the dataset has been demonstrated through benchmarking several solvers as well as being used for learning to classify the real roots of nonlinear parametric systems.

翻译：本文报告了迄今为止为使用基于细分的方法求解零维正方形非线性系统而构建的最大规模标注数据集。我们同时提供了一份简要但非详尽的文献综述，重点涵盖过去二十年的相关研究，以配合该数据集的使用。通过对比多种求解器的性能基准测试，以及将其用于学习分类非线性参数化系统的实根，该数据集的价值已得到充分验证。