Cylindrical Algebraic Decomposition with Equational Constraints

Matthew England, Russell Bradford, James H. Davenport

    Research output: Contribution to journalArticlepeer-review

    19 Citations (Scopus)
    205 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Cylindrical Algebraic Decomposition with Equational Constraints'. Together they form a unique fingerprint.

    Mathematics

    Computer Science