A Dataset for Real Quantifier Elimination

ScienceDB 2026 Dataset Open access

Read full text
Authors: Changbo Chen, Rui-Juan Jing, Yaru Yuan
DOI: 10.57760/sciencedb.31854
Cited by: 1

Abstract

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.

Publication details

Journal / source
ScienceDB
Publication date
27 March 2026
Language
EN
Document type
Dataset