Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer. Verified Quadratic Virtual Substitution for Real Arithmetic. Archive of Formal Proofs, 2021, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.