Noncommutative Geometry, Spectral Asymptotics, and Semiclassical Analysis — arXiv2