Heinrich Hofmann (Mathematiker)