Tereso del Río
Orcid: 0000-0003-3769-5478
According to our database1,
Tereso del Río
authored at least 6 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2022
2023
2024
0
1
2
3
4
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD.
Math. Comput. Sci., October, 2024
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition.
J. Symb. Comput., July, 2024
ACM Commun. Comput. Algebra, June, 2024
2023
ACM Commun. Comput. Algebra, September, 2023
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.
Proceedings of the Computer Algebra in Scientific Computing - 24th International Workshop, 2022