The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition

Russell Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Uncu

    Research output: Contribution to journalArticlepeer-review

    4 Citations (Scopus)
    29 Downloads (Pure)


    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 - Sept 2021

    Bibliographical note

    Copyright © and Moral Rights are retained by the author(s) and/ or other copyright owners. A copy can be downloaded for personal non-commercial research or study, without prior permission or charge. This item cannot be reproduced or quoted extensively from without first obtaining permission in writing from the copyright holder(s). The content must not be changed in any way or sold commercially in any format or medium without the formal permission of the copyright holders.
    This document is the author’s post-print version, incorporating any revisions agreed during the peer-review process. Some differences between the published version and this version may remain and you are advised to consult the published version if you wish to cite from it.


    EPSRC EP/T015748/1


    • Computer Algebra
    • Symbolic Computation
    • Satisfiability Checking
    • SMT
    • Cylindrical Algebraic Decomposition


    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