A Proof of the Gutzwiller Semiclassical Trace
Formula Using Coherent States Decomposition

https://arxiv.org/abs/math-ph/9807005

math over flows Gutzwiller Trace Formla

https://mathoverflow.net/questions/266362/gutzwiller-trace-formula