Sign in
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition.
Russell J. Bradford
James H. Davenport
Matthew England
AmirHosein Sadeghimanesh
Ali Kemal Uncu
Published in:
ACM Commun. Comput. Algebra (2021)
Keyphrases
</>
project management
case study
real world
information retrieval
higher order
software development
software projects
hierarchical decomposition
future plans
framework programme
linear complexity
mathematical theory