The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition

Russell Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Uncu

    Research output: Contribution to journalArticlepeer-review

    4 Citations (Scopus)
    41 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition'. Together they form a unique fingerprint.

    Earth and Planetary Sciences

    Engineering

    Computer Science