New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. - Tereso del Río; Matthew England 001 (CASC, 2022)

Data Augmentation for Mathematical Objects. - Tereso del Río; Matthew England 001 (SC-Square@ISSAC, 2023)

Clustering in the Lazard method for Cylindrical Algebraic Decomposition. - Tereso del Río; AmirHosein Sadeghimanesh; Matthew England 001 (ACM Commun. Comput. Algebra, 2023)

Abstracts of Recent Doctoral Dissertations in Computer Algebra. - Tereso del Río (ACM Commun. Comput. Algebra, 2024)

Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. - Lynn Pickering; Tereso del Rio Almajano; Matthew England 001; Kelly Cohen (J. Symb. Comput., 2024)

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD. - Tereso del Río; Matthew England 001 (Math. Comput. Sci., 2024)

Cylindrical Algebraic Decomposition in Macaulay2. - Corin Lee; Tereso del Río; Hamid Rahkooy (CoRR, 2025)