Manuscript Oai276-A@1 · Oai276-A.tex · section · 215068af
Rational sums and explicit remainder bounds
Stages 3 and 6: the explicit finite maximum certificate › Rational sums and explicit remainder bounds · lines 976–980
Only rational arithmetic is needed when is rational. No numerical square-root evaluation is required.