Several CDs are under development at RIACA, TU/e, Eindhoven. These versions have been updated to OpenMath 2
arith3
directives1
field1
field2
field3
finfield1
fns3
graph1
group2
group3
group4
groupname1
magma1
magma2
magma3
modulo_integers
monoid1
monoid2
monoid3
permgp1
permgp2
permutation1
plangeo1
plangeo2
plangeo3
plangeo4
plangeo5
plangeo6
polygb1
polygb2
polyoperators1
prog2
relation3
ring1
ring2
ring3
ring4
semigroup1
semigroup2
semigroup3