Semiclassical functional methods for arbitrary Hamiltonians

Abstract
The semiclassical formula for the propagator is derived for arbitrary time-independent Hamiltonian systems with no constraints using Feynman's path-integral approach.