Matrix Kernels for the Gaussian Orthogonal and Symplectic Ensembles
  We derive the limiting matrix kernels for the the Gaussian Orthogonal and Symplectic ensembles scaled at the edge, with proofs of convergence in the operator norms that assure convergence of the determinants. 
Craig A. Tracy and Harold Widom