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

Russell Bradford, James Davenport, Matthew England, A. Sadeghimanesh, A. Uncu

Research output: Contribution to conference › Paper › peer-review

Original language	English
Number of pages	5
Publication status	Acceptance date - 16 Jun 2021
Event	International Symposium on Symbolic and Algebraic Computation - St Petersburg, Russian Federation Duration: 19 Jul 2021 → 23 Jul 2021

Conference	International Symposium on Symbolic and Algebraic Computation
Abbreviated title	ISSAC 2021
Country/Territory	Russian Federation
City	St Petersburg
Period	19/07/21 → 23/07/21

Access to Document

@conference{81f4f7af0f074a2d96afed4c25c9c173,

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

author = "Russell Bradford and James Davenport and Matthew England and A. Sadeghimanesh and A. Uncu",

year = "2021",

month = jun,

day = "16",

language = "English",

note = "International Symposium on Symbolic and Algebraic Computation, ISSAC 2021 ; Conference date: 19-07-2021 Through 23-07-2021",

}