Computational class field theory
  Class field theory furnishes an intrinsic description of the abelian extensions of a number field that is in many cases not of an immediate algorithmic nature. We outline the algorithms available for the explicit computation of such extensions. 
Henri Cohen and Peter Stevenhagen