Cylindrical Algebraic Decomposition with Equational Constraints

Matthew England, Russell Bradford, James H. Davenport

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)
13 Downloads (Pure)

Search results