2026-10-13T05:11:18Z https://www.scidb.cn/oai

10.57760/sciencedb.31854 2026-04-03T13:50:44Z

2026-04-03 A Dataset for Real Quantifier Elimination doi:10.57760/sciencedb.31854 en This dataset RQE provides a comprehensive collection of benchmark examples for Real Quantifier Elimination (QE). The examples are collected from the literatures or public datasets. All examples are solved (with timelimit 100 seconds) by at least four mainstream RQE tools, namely the Resolve command in Mathematica, the QuantifierElimination command in the RegularChains library of Maple, QEPCAD B, and rlqe command in Redlog.  cylindrical algebraic decomposition; nonlinear algebraic system; real quantifier elimination Changbo Chen Rui-Juan Jing Yaru Yuan PUBLIC https://creativecommons.org/licenses/by/4.0/ dataset Science Data Bank