TY - RPRT TI - A Geometric Approach to Cylindrical Algebraic Decomposition AU - Rizeng Chen PY - 2025 DO - 10.1090/mcom/4099 UR - https://arxiv.org/abs/2311.10515 ID - 2311.10515 ER -