TY  - RPRT
TI  - Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
AU  - Assia Mahboubi
AU  - Cyril Cohen
PY  - 2012
DO  - 10.2168/lmcs-8(1:2)2012
UR  - https://arxiv.org/abs/1201.3731
ID  - 1201.3731
ER  -