Heinz Bauer (matemático)