Cylindrical Algebraic Decomposition with Equational Constraints

Matthew England, Russell Bradford, James H. Davenport

    Research output: Contribution to journalArticlepeer-review

    19 Citations (Scopus)
    199 Downloads (Pure)

    Search results