activity
20222025
most citedNew heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis

9 citations · 15 across the 4 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

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…