Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Computability of Equivariant Gröbner bases
Arka Ghosh, Aliaume Lopez
Let be a field, be an infinite set (of indeterminates), and be a group acting on . An ideal in the polynomial ring $\mathbb{K}…
cs.FL2025
Polyregular Model Checking
Aliaume Lopez, Rafał Stefański
We introduce a high-level language with Python-like syntax for string-to-string, polyregular, first-order definable transductions. This language features function calls, boolean va…