Projekt:Computeralgebra-Berechnungen/Symmetrische Hilbert-Kunz Theorie/Polynomring in drei Variablen