back to table · edit · history · where entries came from · files
- CITE{LMFDB} (computed by Fredrik Stroemberg CITE{Str12} and Holger Then) reliability: For heuristics see CITE{BoStVeData} and CITE{LMFDBreliability}.- rigour: assumed-bound- rigour details: The computed interval was widened by four units in the last place- (blur_real_interval). That bound was asserted rather than derived, and the justification- was not recorded.+ rigour: heuristic+ rigour details: 'Not computed: the digits are decimal strings from the LMFDB, pasted+ into the script and truncated to a hundred characters. Truncation is sound under+ this database''s convention, in which a written digit string denotes an interval+ of one unit in its last place, but it is the only thing here that is sound by+ construction. What bounds the original computation''s error is not recorded, and+ spectral parameters of Maass forms are hard to certify.' Display properties: number-header: $R$
Sign in to restore an earlier version.
