In mathematics, the Lie product formula, named for Sophus Lie, but also widely called the Trotter product formula, named after Hale Trotter, states that for arbitrary m × m real or complex matrices A ... Wikipedia