Asymptotics of level-spacing distributions for random matrices

Abstract
Asymptotic formulas for the probability of finding exactly n eigenvalues in an interval of length s, for large s and fixed n, are given for random matrices taken from the Gaussian ensembles (β=1,2,4). These exact results are compared with the predictions of a continuum Coulomb gas model due to Dyson.