对实数问题的更好解答
符号计算
2018-04-27 v1 计算机科学中的逻辑
摘要
我们考虑实数域上的存在性问题。扩展量词消去通过提供额外答案（即对量化变量可能赋值的描述）推广了常规量词消去的概念。通过虚拟替换实现的扩展量词消去已成功应用于科学与工程领域的各种问题。迄今为止，这些实现所产生的答案包含无穷小量和无穷大量，这在实际中难以解释。我们在此引入一种后处理程序，针对固定参数将所有答案转换为标准实数。通过将我们的实现应用于文献中的各种示例，展示了该程序的相关性，它显著提高了结果的质量。
引用
@article{arxiv.1501.05098,
title = {Better Answers to Real Questions},
author = {Marek Kosta and Thomas Sturm and Andreas Dolzmann},
journal= {arXiv preprint arXiv:1501.05098},
year = {2018}
}