81Q20 Semiclassical techniques, including WKB and Maslov methods applied to problems in quantum theory 3782