TY  - RPRT
TI  - Verified Quadratic Virtual Substitution for Real Arithmetic
AU  - Matias Scharager
AU  - Katherine Cordwell
AU  - Stefan Mitsch
AU  - André Platzer
PY  - 2021
DO  - 10.1007/978-3-030-90870-6_11
UR  - https://arxiv.org/abs/2105.14183
ID  - 2105.14183
ER  -