Grade school math students are likely familiar with teachers admonishing them not to just guess the answer to a problem. But a new proof establishes that, in fact, the right kind of guessing is ...

Let Q be an n x n symmetric matrix with integral entries and with det Q ≠ O, but not necesarily positive definite. We describe a generalized LLL algorithm to reduce this quadratic form. This algorithm ...