Computational discrete algebra is concerned with algorithms for
computing with groups, semigroups, categories, algebras,
and related structures,
as well as automorphism objects of combinatorial structures.
The two general-purpose CDA packages are GAP and MAGMA.
Work at Bangor is aimed at developing GAP share packages
implementing many of the new, higher-dimensional, structures
for algebra and algebraic topology which are described in
Ronnie Brown's
web pages.
Talks
talk
on the CHDA packages at the GAP Authors' Workshop,
Braunschweig, September 2007.
