back to table · edit · history · where entries came from · files · download
1709 bytes, as of the version from 2026-10-26 15:57 (current). Recorded here, not run.
# Argument selection for T228
Integer arguments are selected by the special-value identities for $\zeta'$ CITE{SelectionIntegerZeta}: the negative even integers are the trivial zeros of $\zeta$, the negative integer derivatives include the Bendersky constants, and the positive even derivatives are related to them by reflection. The centre $s=1/2$ is fixed by the functional equation CITE{SelectionZetaSymmetry}. The remaining integer orders form an explicitly bounded reference prefix of the integer special-value family, not a selection of all small rational orders.
Coverage: it holds the integer arguments $-20\leq s\leq20$, $s\ne1$, and the functional-equation centre $s=1/2$; the integer bounds delimit a reference prefix.
## Primary mathematical evidence
- DLMF 25.6(ii): Derivatives at Integer Arguments: https://dlmf.nist.gov/25.6#ii
- DLMF 25.4: Reflection Formulas: https://dlmf.nist.gov/25.4
The mathematical deductions in the selection paragraph are distinguished from a source publishing this exact finite list. The range cutoff is a reference limit, not a theorem that every included dimension or order has a separate documented application.
## Reproduction and history
Run `python generate.py` to verify and `python checks.py T228 --live` for independent checks. Neither writes. The source uses exact rational arithmetic and certified Arb balls, with mpmath as a separate agreement check. Retained numeric strings and annotations are copied from, and verified against, the website export; the generator is not claimed to have authored those annotations. Removed sample identities and old attached sources remain in website revision history. No identity is reused for another argument.