Tereso del Río

According to our database, Tereso del Río authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD.

Tereso del Río, Matthew England

CoRR, 2024

2023

Clustering in the Lazard method for Cylindrical Algebraic Decomposition.

Tereso del Río, AmirHosein Sadeghimanesh, Matthew England

ACM Commun. Comput. Algebra, September, 2023

Data Augmentation for Mathematical Objects.

Tereso del Río, Matthew England

Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, 2023

2022

New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis.

Tereso del Río, Matthew England

Proceedings of the Computer Algebra in Scientific Computing - 24th International Workshop, 2022