Math rock is probably that kind of rock which focuses more on the interesting ways a song can be structured mathematically (rare time-signatures, rare beat patterns, rare chord structures), reveling in the technicality while not being so concerned with aesthetics and how it "feels, emotionally." Sounds like a sub-set of prog rock to me.

Yeah. And Meshuggah for example, could be considered Math Metal kinda.