Es werden Verfahren vorgestellt, die das übliche Rechnen in algebraischen
Zahlkörpern auf Relativerweiterungen ausdehnen. Probleme, die im
Zusammenhang mit fehlenden Relativbasen, Teilkörpererkennung,
Konjugiertenanordnung etc. auftreten, werden diskutiert. Speziell wird eine
Methode der arithmetischen Konstruktion Hilbertscher Klassenkörper
vorgestellt.
Im zweiten Teil des Vortrages wird auf die Implementation dieser Verfahren in
KANT/KASH eingegangen: ihr Potential wird durch illustrative Beispiele
demonstriert.