N = n₁ + n₂ with n₁, n₂ sums of two squares (or values of any class number one form) and Ω(n₁n₂) ≤ 11, max Ω(nᵢ) ≤ 8: paper, linear vector sieve with switching and Richert weights, interval-arithmetic certification.
python latex mathematics interval-arithmetic number-theory analytic-number-theory computer-assisted-proofs imaginary-quadratic-fields sieve-methods additive-number-theory binary-quadratic-forms sums-of-two-squares almost-primes
-
Updated
Oct 4, 2026 - Python