Tereso del Río

From MaRDI portal
Person:2109990

Available identifiers

zbMath Open del-rio.teresoMaRDI QIDQ2109990

List of research outcomes





PublicationDate of PublicationType
Lessons on datasets and paradigms in machine learning for symbolic computation: a case study on CAD2024-12-16Paper
Clustering in the Lazard method for cylindrical algebraic decomposition2024-05-13Paper
New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis2022-12-21Paper

Research outcomes over time

This page was built for person: Tereso del Río

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2109990&oldid=6636023"
Powered by MediaWiki