3 papers
math.AC2026
Elimination Templates in Macaulay2
Manav Batavia, Cheng Chen, Anna Natalie Chlopecki +4
We introduce the package \texttt{EliminationTemplates} for the Macaulay2 computer algebra system, which provides tools for constructing automatic solvers for families of zero-dimen…
math.AC2026
Antidiagonal Initial Complexes of Infinite Matrix Schubert Varieties are Cohen-Macaulay
Anna Natalie Chlopecki, Nathaniel Gallup, Jason Meintjes
We show that, under certain constraints, the Stanley-Reisner ring of an infinite simplicial complex is Cohen-Macaulay in the sense of ideals and weak Bourbaki unmixed. We apply thi…
cs.CC2025
An elementary proof that linking problems are hard
Shannon Cheng, Anna Chlopecki, Saarah Nazar +1
We give a new, elementary proof of what we believe is the simplest known example of a ``natural'' problem in computational 3-dimensional topology that is -hard -- name…