Exponetial product formula, Trotter product formula,  
Lie--Trotter product formula, Trotter--Kato product formula,  
pointwise integral kernel convergence, evolution group and semigroup, 
Schr\"odinger operator, path integral.