Tags: algebra, number theory, algebraic number theory.
Homepage: http://giantsystem.sourceforge.net/
Homepage: http://www.math.tu-berlin.de/~kant/kash.html