4 Citations (SciVal)


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.

Original languageEnglish
Pages (from-to)107-111
Number of pages5
JournalACM Communications in Computer Algebra
Issue number3
Publication statusPublished - 12 Jan 2022

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computational Mathematics


Dive into the research topics of 'The DEWCAD project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition'. Together they form a unique fingerprint.

Cite this