SMS: Mathematical Feynman path integrals and their applications