Describir: Mathematical Theory of Feynman Path Integrals