Axiom provides various facilities for treating topics in abstract algebra
Number Theory
Topics in algebraic number theory
Group Theory
Permuation groups; representation theory