riaca_algebra 1 0 http://www.openmath.org/cdfiles2/cdgroups/riaca_algebra.ocd CDs developed at RIACA arith3 http://www.openmath.org/cd/arith3.ocd field1 http://www.openmath.org/cd/field1.ocd field2 http://www.openmath.org/cd/field2.ocd field3 http://www.openmath.org/cd/field3.ocd field4 http://www.openmath.org/cd/field4.ocd fieldname1 http://www.openmath.org/cd/fieldname1.ocd finfield1 http://www.openmath.org/cd/finfield1.ocd fns3 http://www.openmath.org/cd/fns3.ocd graph1 http://www.openmath.org/cd/graph1.ocd graph2 http://www.openmath.org/cd/graph2.ocd group1 http://www.openmath.org/cd/group1.ocd group2 http://www.openmath.org/cd/group2.ocd group3 http://www.openmath.org/cd/group3.ocd group4 http://www.openmath.org/cd/group4.ocd group5 http://www.openmath.org/cd/group5.ocd groupname1 http://www.openmath.org/cd/groupname1.ocd integer2 http://www.openmath.org/cd/integer2.ocd linalg6 http://www.openmath.org/cd/linalg6.ocd linalg7 http://www.openmath.org/cd/linalg7.ocd list3 http://www.openmath.org/cd/list3.ocd magma1 http://www.openmath.org/cd/magma1.ocd magma2 http://www.openmath.org/cd/magma2.ocd magma3 http://www.openmath.org/cd/magma3.ocd monoid1 http://www.openmath.org/cd/monoid1.ocd monoid2 http://www.openmath.org/cd/monoid2.ocd monoid3 http://www.openmath.org/cd/monoid3.ocd permgp1 http://www.openmath.org/cd/permgp1.ocd permgp2 http://www.openmath.org/cd/permgp2.ocd permutation1 http://www.openmath.org/cd/permutation1.ocd plangeo1 http://www.openmath.org/cd/plangeo1.ocd plangeo2 http://www.openmath.org/cd/plangeo2.ocd plangeo3 http://www.openmath.org/cd/plangeo3.ocd plangeo4 http://www.openmath.org/cd/plangeo4.ocd plangeo5 http://www.openmath.org/cd/plangeo5.ocd plangeo6 http://www.openmath.org/cd/plangeo6.ocd polyd1 http://www.openmath.org/cd/polyd1.ocd polyd2 http://www.openmath.org/cd/polyd2.ocd polyd3 http://www.openmath.org/cd/polyd3.ocd polygb1 http://www.openmath.org/cd/polygb1.ocd polygb2 http://www.openmath.org/cd/polygb2.ocd polynomial1 http://www.openmath.org/cd/polynomial1.ocd polynomial2 http://www.openmath.org/cd/polynomial2.ocd polynomial3 http://www.openmath.org/cd/polynomial3.ocd polyoperators1 http://www.openmath.org/cd/polyoperators1.ocd prog1 http://www.openmath.org/cd/prog1.ocd relation3 http://www.openmath.org/cd/relation3.ocd relation4 http://www.openmath.org/cd/relation4.ocd ring1 http://www.openmath.org/cd/ring1.ocd ring2 http://www.openmath.org/cd/ring2.ocd ring3 http://www.openmath.org/cd/ring3.ocd ring4 http://www.openmath.org/cd/ring4.ocd ring5 http://www.openmath.org/cd/ring5.ocd ringname1 http://www.openmath.org/cd/ringname1.ocd semigroup1 http://www.openmath.org/cd/semigroup1.ocd semigroup2 http://www.openmath.org/cd/semigroup2.ocd semigroup3 http://www.openmath.org/cd/semigroup3.ocd semigroup4 http://www.openmath.org/cd/semigroup4.ocd set3 http://www.openmath.org/cd/set3.ocd