Technically, squares are polytopes

This article is a survey on the combinatorics of semimagic/pandiagonal magic squares and explains their connection to polytopes. On the side of combinatorics, we count magic squares with fixed strict upperbounds or fixed sum. As for polytopes, we show the relationship between magic squares and various polytopes such as the Birkhoff polytopes.