DLMF:3.1.E3 (Q1065): Difference between revisions

From testwiki
Jump to navigation Jump to search
imported>Admin
imported>Admin
Property / Symbols used
 
Property / Symbols used: Q10769 / rank
 
Normal rank
Property / Symbols used: Q10769 / qualifier
 
test:

equal-by definition {\displaystyle{\displaystyle\equiv}}

\defeq
Property / Symbols used: Q10769 / qualifier
 
xml-id: introduction.Sx4.p1.t1.r9.m2adec

Revision as of 16:43, 1 January 2020

No description defined
Language Label Description Also known as
English
DLMF:3.1.E3
No description defined

    Statements

    N min 2 E min | x | 2 E max + 1 ( 1 - 2 - p ) N max . equal-by definition subscript 𝑁 min superscript 2 subscript 𝐸 min 𝑥 superscript 2 subscript 𝐸 max 1 1 superscript 2 𝑝 equal-by definition subscript 𝑁 max {\displaystyle{\displaystyle N_{{\rm min}}\equiv 2^{E_{{\rm min}}}\leq|x|\leq 2% ^{E_{{\rm max}}+1}\left(1-2^{-p}\right)\equiv N_{{\rm max}}.}}
    0 references
    0 references
    equal-by definition {\displaystyle{\displaystyle\equiv}}
    introduction.Sx4.p1.t1.r9.m2adec
    0 references