A Formal Quantifier Elimination for Algebraically Closed Fields.

Cyril Cohen, Assia Mahboubi

Browse the full AISC paper archive.