  We define a magic square to be a square matrix whose entries are nonnegative
integers and whose rows, columns, and main diagonals sum up to the same number.
We prove structural results for the number of such squares as a function of the
size of the matrix and the line sum. We give examples for small sizes and show
similar results for symmetric, pandiagonal magic squares, and magic hypercubes.
