Matias Scharager

Verified Quadratic Virtual Substitution for Real Arithmetic

by Matias Scharager 📧, Katherine Kosaian 📧, Stefan Mitsch 📧 and André Platzer 📧