Quantifier Elimination for Quartics.

Lu Yang, Bican Xia

Browse the full AISC paper archive.