Manuscript Oai119-A@1 · Oai119-A.tex · section · fdff7292

Exact integer-square certificates

Stages 3 and 6: the complete finite certificate › Exact integer-square certificates · lines 897–905

Oai119-A@1#eq:Bq

Define

B_{q} = \frac{3 7 + 2 39 + 15}{32} .

Displayed formulas in this passage