---

Axiom provides various facilities for treating topics in abstract algebra

Number Theory	Topics in algebraic number theory
Group Theory	Permuation groups; representation theory