Russell J. Bradford, James H. Davenport, Matthew England 0001, AmirHosein Sadeghimanesh, Ali Kemal Uncu. The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. ACM Comm. Computer Algebra, 55(3):107-111, 2021. [doi]
@article{BradfordDESU21,
title = {The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition},
author = {Russell J. Bradford and James H. Davenport and Matthew England 0001 and AmirHosein Sadeghimanesh and Ali Kemal Uncu},
year = {2021},
doi = {10.1145/3511528.3511538},
url = {https://doi.org/10.1145/3511528.3511538},
researchr = {https://researchr.org/publication/BradfordDESU21},
cites = {0},
citedby = {0},
journal = {ACM Comm. Computer Algebra},
volume = {55},
number = {3},
pages = {107-111},
}