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 conferencePaperpeer-review

Original languageEnglish
Number of pages5
Publication statusAcceptance date - 16 Jun 2021
EventInternational Symposium on Symbolic and Algebraic Computation - St Petersburg, Russian Federation
Duration: 19 Jul 202123 Jul 2021

Conference

ConferenceInternational Symposium on Symbolic and Algebraic Computation
Abbreviated titleISSAC 2021
CountryRussian Federation
CitySt Petersburg
Period19/07/2123/07/21

Cite this