Cylindrical Algebraic Decomposition with Equational Constraints
- Matthew England
- , Russell Bradford
- , James H. Davenport
- University of Bath
Research output: Contribution to journal › Article › peer-review
21
Link opens in a new tab
Citations
(Scopus)
453
Downloads
(Pure)