Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination.

Hoon Hong

Browse the full ISSAC paper archive.