Verifying Mixed Real-Integer Quantifier Elimination.

Amine Chaieb

Browse the full CADE paper archive.