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. Display properties: number-header: $R$
Sign in to restore an earlier version.