group1 2 0 http://www.openmath.org/cdgroups/group1.cdg Group Theory CD Group A CD of functions for group theory group1 http://www.openmath.org/cd/group1.ocd group2 http://www.openmath.org/cd/group2.ocd A CD of functions for group theory group3 http://www.openmath.org/cd/group3.ocd A CD of functions for group theory group4 http://www.openmath.org/cd/group4.ocd A CD of functions for group theory group5 http://www.openmath.org/cd/group5.ocd A CD of names of common groups groupname1 http://www.openmath.org/cd/groupname1.ocd A CD of functions for permutation groups permgrp http://www.openmath.org/cd/permgrp.ocd