The DEWCAD project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition

R. Bradford; J. H. Davenport; M. England; A. Sadeghimanesh; A. Uncu

doi:10.1145/3511528.3511538

The DEWCAD project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition

R. Bradford, J. H. Davenport, M. England, A. Sadeghimanesh, A. Uncu

Coventry University

Research output: Contribution to journal › Article › peer-review

4 Citations (SciVal)

Abstract

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 language	English
Pages (from-to)	107-111
Number of pages	5
Journal	ACM Communications in Computer Algebra
Volume	55
Issue number	3
DOIs	https://doi.org/10.1145/3511528.3511538
Publication status	Published - 12 Jan 2022

ASJC Scopus subject areas

Computational Theory and Mathematics
Computational Mathematics

Access to Document

10.1145/3511528.3511538

https://pureportal.coventry.ac.uk/en/publications/the-dewcad-project-pushing-back-the-doubly-exponential-wall-of-cy

Cite this

@article{65f2932dc6ab4591b0bed99918b8551d,

title = "The DEWCAD project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition",

abstract = "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. ",

author = "R. Bradford and Davenport, {J. H.} and M. England and A. Sadeghimanesh and A. Uncu",

year = "2022",

month = jan,

day = "12",

doi = "10.1145/3511528.3511538",

language = "English",

volume = "55",

pages = "107--111",

journal = "ACM Communications in Computer Algebra",

issn = "1932-2232",

publisher = "Association for Computing Machinery",

number = "3",

}

TY - JOUR

T1 - The DEWCAD project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition

AU - Bradford, R.

AU - Davenport, J. H.

AU - England, M.

AU - Sadeghimanesh, A.

AU - Uncu, A.

PY - 2022/1/12

Y1 - 2022/1/12

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85123420484&partnerID=8YFLogxK

U2 - 10.1145/3511528.3511538

DO - 10.1145/3511528.3511538

M3 - Article

AN - SCOPUS:85123420484

SN - 1932-2232

VL - 55

SP - 107

EP - 111

JO - ACM Communications in Computer Algebra

JF - ACM Communications in Computer Algebra

IS - 3

ER -

The DEWCAD project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition

Cite this

The DEWCAD project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Projects

Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition

Cite this