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

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

doi:10.1145/3511528.3511538

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

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

University of Bath

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

4 Citations (Scopus)

69 Downloads (Pure)

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

Funder

EPSRC EP/T015748/1

Keywords

Computer Algebra
Symbolic Computation
Satisfiability Checking
SMT
Cylindrical Algebraic Decomposition

Access to Document

10.1145/3511528.3511538

Post PrintAccepted author manuscript, 601 KB

Cite this

@article{0208d4f0141442839eafe467d64b8c52,

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

keywords = "Computer Algebra, Symbolic Computation, Satisfiability Checking, SMT, Cylindrical Algebraic Decomposition",

author = "Russell Bradford and Davenport, {James H.} and Matthew England and AmirHosein Sadeghimanesh and Ali Uncu",

note = "Copyright {\textcopyright} 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{\textquoteright}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.",

year = "2021",

month = sep,

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 (ACM)",

number = "3",

}

TY - JOUR

T1 - The DEWCAD project

T2 - pushing back the doubly exponential wall of cylindrical algebraic decomposition

AU - Bradford, Russell

AU - Davenport, James H.

AU - England, Matthew

AU - Sadeghimanesh, AmirHosein

AU - Uncu, Ali

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

PY - 2021/9

Y1 - 2021/9

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.

KW - Computer Algebra

KW - Symbolic Computation

KW - Satisfiability Checking

KW - SMT

KW - Cylindrical Algebraic Decomposition

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

U2 - 10.1145/3511528.3511538

DO - 10.1145/3511528.3511538

M3 - Article

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

Bibliographical note

Funder

Keywords

Access to Document

Other files and links

Fingerprint

Cite this