In this lecture, we will introduce some classical techniques from analytic number theory and show how they can be used to count quaternion algebras over number elds subject to various constraints. Because of the correspondence between maximal subelds of quaternion algebras and geodesics on arithmetic hyperbolic manifolds, these counts can be used to produce quantitative results in spectral geometry.