This abstract seeks to introduce the ISSAC community to the DEWCAD project, which is based at Coventry University and the University of Bath, in the United Kingdom. The project seeks to push back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition, through the integration of SAT/SMT technology, the extension of Lazard projection theory, and the development of new algorithms based on CAD technology but without producing CADs themselves. The project also seeks to develop applications of CAD and will focus on applications in the domains of economics and bio-network analysis.

中文翻译：

---

DEWCAD 项目：推回圆柱代数分解的双指数壁

本摘要旨在向 ISSAC 社区介绍 DEWCAD 项目，该项目位于英国考文垂大学和巴斯大学。该项目旨在通过 SAT/SMT 技术的集成、Lazard 投影理论的扩展以及基于 CAD 技术但不自行生产 CAD 的新算法的开发，来推倒圆柱代数分解的双指数墙。该项目还寻求开发 CAD 应用程序，并将侧重于经济学和生物网络分析领域的应用程序。