A Mathematical Definition of Path Integrals on Symplectic Manifolds | Synapse