We want to calculate generators and relations for the mod-p cohomology rings of finite groups using computer technology. For this purpose we develop interactive tests to check whether a specific calculation is complete, in the case that the group is a p-group. The method involves checking some conjectures about the nature of the cohomology rings.
展开▼