Cylindrical Algebraic Sub-Decompositions

David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England. Cylindrical Algebraic Sub-Decompositions. Mathematics in Computer Science, 8(2):263-288, 2014. [doi]

Abstract

Abstract is missing.