[english version] [Lehrstuhl Leitseite]
CHEVIE: Ein Computeralgebra Packet zum Rechnen in und mit Coxetergruppen, Iwahori-Hecke-Algebren, algebraischen Gruppen, Chevalley-Gruppen, ... (mitentwickelt am LDfM)
Modular ATLAS: Das "Modular ATLAS"-Projekt - Berechnung aller Brauercharaktertafeln für alle sporadischen einfachen und damit zusammenhängende Gruppen
GAP: Das GAP-System - ein Computeralgebra-System für diskrete Algebra. Früher am LDfM entwickelt, jetzt ein internationales Projekt (an dem auch Leute am LDfM mitarbeiten).
C-MeatAxe: Die MeatAxe als Sammlung von C-Programmen, geschrieben von Michael Ringe.
Singular: SINGULAR ist ein Computeralgebrasystem for Polynom-Rechnungen mit besonderem Augenmerk auf die Bedürfnisse in der Kommutativen Algebra, Algebraischen Geometrie und der Singularitäten-Theorie. SINGULAR hat eine Erweiterung PLURAL, die Gröbnerbasen und verwandte Funktionalität für nicht-kommutative G-Algebren bietet.