A Dataset of Nonlinear Equations for Subdivision
For researchers in nonlinear equation solving, this dataset provides a new benchmark resource, though the contribution is incremental as it primarily offers a dataset rather than a new method.
The authors constructed the largest labelled dataset for solving zero-dimensional square nonlinear systems using subdivision-based methods, and demonstrated its value by benchmarking solvers and enabling learning to classify real roots of parametric systems.
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.