In this article we encode Hadwiger's covering conjecture into a series of
functions defined on the spaces of convex bodies, propose a four-step program
to approach this conjecture, and obtain some partial results.