TY - RPRT TI - Cylindrical Algebraic Decomposition in Macaulay2 AU - Corin Lee AU - Tereso del Río AU - Hamid Rahkooy PY - 2025 UR - https://arxiv.org/abs/2503.21731 ID - 2503.21731 ER -