  Starting from the construction of the free quantum scalar field of mass
$m\geq 0$ we give mathematically precise and rigorous versions of three
different approaches to computing the Casimir forces between compact obstacles.
We then prove that they are equivalent.
