A Dataset for Real Quantifier Elimination
收藏DataCite Commons2026-04-03 更新2026-05-05 收录
下载链接：
https://www.scidb.cn/detail?dataSetId=f357508ebbd44d1f92544d181c10fd42
下载链接
链接失效反馈官方服务：
资源简介：
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.
提供机构：
Science Data Bank
创建时间：
2026-04-03
