DEWCAD 项目：推回柱形代数分解的双重指数墙
符号计算
2022-01-14 v1
摘要
本摘要旨在向 ISSAC 社区介绍 DEWCAD 项目，该项目位于英国考文垂大学与巴斯大学。该项目旨在通过整合 SAT/SMT 技术、扩展 Lazard 投影理论以及开发基于 CAD 技术但不自身生成 CAD 的新算法，来推回柱形代数分解（Cylindrical Algebraic Decomposition）的双重指数墙。该项目还旨在开发 CAD 的应用，并将聚焦于经济学与生物网络分析领域的应用。
引用
@article{arxiv.2106.08740,
title = {The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition},
author = {R. Bradford and J. H. Davenport and M. England and A. Sadeghimanesh and A. Uncu},
journal= {arXiv preprint arXiv:2106.08740},
year = {2022}
}
备注
5 pages. Accepted as short communication at ISSAC 2021