dph-mg-grobner

From MaRDI portal
Dph-mg-grobner