Equivariant ideals of polynomials

DOI10.1145/3661814.3662074MaRDI QIDQ6970239zbMATH OpenFDO

Authors Arka P. Ghosh, Sławomir Lasota

Publication date 18 June 2025

Full work available at URL https://doi.org/10.1145/3661814.3662074

zbMATH Keywords

equivariant setsHilbert's basis theoremidealideal membership problemorbit-finite setsPetri nets with datapolynomial ringregister automatasets with atoms

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• An algorithm for finding symmetric Grobner bases in infinite dimensional rings
• Automata theory in nominal sets
• Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
• Equivariant Gröbner bases
• Equivariant Gröbner bases and the Gaussian two-factor model
• Equivariant ideals of polynomials
• Finite generation of symmetric ideals
• Finite Gröbner bases in infinite dimensional polynomial rings and applications
• scientific article; zbMATH DE number 4045140 (Why is no real title available?)
• scientific article; zbMATH DE number 25645 (Why is no real title available?)
• scientific article; zbMATH DE number 44603 (Why is no real title available?)
• scientific article; zbMATH DE number 1232246 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 1120551 (Why is no real title available?)
• scientific article; zbMATH DE number 6737879 (Why is no real title available?)
• scientific article; zbMATH DE number 3210032 (Why is no real title available?)
• Ideals, Varieties, and Algorithms
• Nets with Tokens Which Carry Data
• On the laws of a metabelian variety
• Ordering by Divisibility in Abstract Algebras
• Polynomial automata: zeroness and applications
• Solvability of orbit-finite systems of linear equations
• The complexity of the word problems for commutative semigroups and polynomial ideals

Cited in

(2)

• Bi-reachability in Petri nets with data
• Equivariant ideals of polynomials

This page was built for publication: Equivariant ideals of polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6970239)