The Oppenheim conjecture, proved by Margulis in 1986, states
that for a non-degenerate indefinite irrational quadratic form Q in
n≥
3 variables, the image set Q(Zn) of integral vectors is a dense
subset of the real line. Determining the distribution...