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]
Abstract is missing.