Abstract
We use GAP to calculate a minimal projective resolution P_* of k:=GF(p) over the group algebra kG for a finite p-group G. Then the cohomology groups H^n(G,k) are the groups Hom(P_n,k) and H*(G,k) is a ring under the cup product. We implement this ring as an SCAalgebra and derive a presentation for H*(G,k) in terms of generators and relators of the from the SCAlgebra. Finally, we discuss higher cohomology products, pending development by mid-December of this part of the package.