  The completely bounded trace and spectral norms in finite dimensions are
shown to be expressible by semidefinite programs. This provides an efficient
method by which these norms may be both calculated and verified, and gives
alternate proofs of some known facts about them.
