Computation of thermodynamic properties of crystals from ab initio calculation of static energies and vibrational frequencies.