TY - JOUR AU - Mickaël Matusinski AU - Simon Müller TI - Quantifier elimination for quasi-real closed fields JO - Comptes Rendus. Mathématique PY - 2021 DA - 2021/// SP - 291 EP - 295 VL - 359 IS - 3 PB - Académie des sciences, Paris UR - https://doi.org/10.5802/crmath.169 DO - 10.5802/crmath.169 LA - en ID - CRMATH_2021__359_3_291_0 ER -