KANT/Definition

A computer algebra system for mathematicians interested in algebraic number theory.