Verified Quadratic Virtual Substitution for Real Arithmetic.

Matias Scharager, Katherine Cordwell, Stefan Mitsch, Andr Platzer

Browse the full FM paper archive.