Cylindrical Algebraic Sub-Decompositions
Crossref DOI link: https://doi.org/10.1007/s11786-014-0191-z
Published Online: 2014-06-13
Published Print: 2014-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Wilson, D. J.
Bradford, R. J.
Davenport, J. H.
England, M.
License valid from 2014-06-01