  We formulate generalizations of Pauli's theorem on the cases of real and
complex Clifford algebras of even and odd dimensions. We give analogues of
these theorems in matrix formalism. Using these theorems we present an
algorithm for computing elements of spin groups that correspond to elements of
orthogonal groups as double cover.
