Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase.

Grant Olney Passmore, Paul B. Jackson

Browse the full CiE paper archive.