[deutsche Version] [Lehrstuhl homepage]
CHEVIE: A computer algebra package for computing in and with Coxeter groups, Iwahori-Hecke algebras, algebraic groups, Chevalley groups, ... (co-developed at LDfM)
Modular ATLAS: The Modular ATLAS project - computation of all modular character tables of all sporadic simple and related groups
GAP: The GAP system - computer algebra system for computational discrete algebra. Development started at LDfM, now it is an international project (including people at LDfM)
C-MeatAxe: the MeatAxe as standalone programs, written in C, by Michael Ringe.
Singular: SINGULAR is a Computer Algebra System for polynomial computations with special emphasis on the needs of commutative algebra, algebraic geometry, and singularity theory. SINGULAR has an extension PLURAL which provides Gröbner-bases and related functionality for non-commutative G-algebras.