Towards Computing Non Algebraic Cylindrical Decompositions

Daniel Richardson. Towards Computing Non Algebraic Cylindrical Decompositions. In ISSAC. pages 247-255, 1991. [doi]

Abstract

Abstract is missing.