2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.SC2025
Cylindrical Algebraic Decomposition in Macaulay2
Corin Lee, Tereso del Río, Hamid Rahkooy
CylindricalAlgebraicDecomposition.m2 is the first implementation of Cylindrical Algebraic Decomposition (CAD) in Macaulay2. CAD decomposes space into 'cells' where input polynomial…
cs.SC2024
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
Tereso del Río, Matthew England
Symbolic Computation algorithms and their implementation in computer algebra systems often contain choices which do not affect the correctness of the output but can significantly i…
cs.SC2023★ 2 cited
Data Augmentation for Mathematical Objects
Tereso del Rio, Matthew England
This paper discusses and evaluates ideas of data balancing and data augmentation in the context of mathematical objects: an important topic for both the symbolic computation and sa…