2 papers
cs.SC2026
A data structure for monomial ideals with applications to signature Gröbner bases
Pierre Lairez, Rafael Mohr, Théo Ternier
We introduce monomial divisibility diagrams (MDDs), a data structure for monomial ideals that supports insertion of new generators and fast membership tests. MDDs stem from a canon…
cs.FL2024
Conway's cosmological theorem and automata theory
Pierre Lairez, Aleksandr Storozhenko
John Conway proved that every audioactive sequence (a.k.a. look-and-say) decays into a compound of 94~elements, a statement he termed the cosmological theorem. The underlying audio…