Harmonic analysis on the Heisenberg nilpotent Lie group, with applications to signal theory | lit.salon