Constarium
← Search

Data · dataset · 2026

A Dataset of Nonlinear Equations for Subdivision

Listed in ScienceDB

This dataset SDD is a collection of zero-dimensional square systems of nonlinear equations together with their solution information obtained mainly by subdivision methods.

Description

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.

Read the rest (1 more)

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.

Links

Where it is published

Catalogue records · 1

Topics

Provenance · 1 source records, 10 field assertions
SourceKeyLast seenRaw
ScienceDB10.57760/sciencedb.342117 d agoJSON v1
FieldAssertionExtractorEvidence
access_levelsource · scidb cnconnector:scidb_cn@1.0.0
concepts[field].local:field:earth-environmentalmapping · scidb cnconnector:scidb_cn@1.0.0
concepts[field].local:field:engineeringmapping · scidb cnconnector:scidb_cn@1.0.0
concepts[field].local:field:humanitiesmapping · scidb cnconnector:scidb_cn@1.0.0
concepts[field].local:field:life-sciencesmapping · scidb cnconnector:scidb_cn@1.0.0
concepts[field].local:field:social-sciencemapping · scidb cnconnector:scidb_cn@1.0.0
descriptionsource · scidb cnconnector:scidb_cn@1.0.0/metadata/dc/description
licensesource · scidb cnconnector:scidb_cn@1.0.0/metadata/dc/rights
publication_datesource · scidb cnconnector:scidb_cn@1.0.0
titlesource · scidb cnconnector:scidb_cn@1.0.0/metadata/dc/title