pith. sign in

Define /u1D461∈ /u1D43C/u1D460as (/u1D461/u1D44E 1 , /u1D461/u1D44E 2)=          (/u1D45D/u1D44E 1, /u1D45D/u1D44E

∈/u1D447and /u1D457/u1D44E∈ E/m

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
browse 1 citing papers

fields

cs.LO 1

years

2024 1

verdicts

UNVERDICTED 1

representative citing papers

Equivariant ideals of polynomials

cs.LO · 2024-02-27 · unverdicted · novelty 6.0

Necessary and sufficient condition on countable structures A for finite generation of equivariant polynomial ideals, plus extended Buchberger algorithm for Gröbner bases and membership decidability.

citing papers explorer

Showing 1 of 1 citing paper.

  • Equivariant ideals of polynomials cs.LO · 2024-02-27 · unverdicted · none · ref 28

    Necessary and sufficient condition on countable structures A for finite generation of equivariant polynomial ideals, plus extended Buchberger algorithm for Gröbner bases and membership decidability.