9 citations · 15 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
Tereso del Río, Matthew England
It is well known that the variable ordering can be critical to the efficiency or even tractability of the cylindrical algebraic decomposition (CAD) algorithm. We propose new heuris…