Let $K$ be a number field, and let $F$ be a symmetric bilinear form in $2N$ variables over $K$. Let $Z$ be a subspace of $K^N$. A classical theorem of Witt states that the bilinear space $(Z,F)$ can be decomposed into an orthogonal sum of hyperbolic planes and singular and anisotropic components. We prove the existence of such a decomposition of small height, where all bounds on height are explicit in terms of heights of $F$ and $Z$. We also prove a special version of Siegel's lemma for a bilinear space, which provides a small-height orthogonal decomposition into one-dimensional subspaces. Finally, we prove an effective version of the Cartan--Dieudonn{\'e} theorem. Namely, we show that every isometry $\sigma$ of a regular bilinear space $(Z,F)$ can be represented as a product of reflections of bounded heights with an explicit bound on heights in terms of heights of $F$, $Z$, and $\sigma$.

To every pair of algebraic number fields with isomorphic Witt rings one can associate a number, called the {\it minimum number of wild primes}. Earlier investigations have established lower bounds for this number. In this paper an analysis is presented that expresses the minimum number of wild primes in terms of the number of wild dyadic primes. This formula not only gives immediate upper bounds, but can be considered to be an exact formula for the minimum number of wild primes.