Revision #867 → #1431 · back to history
addedSimply normal in base b4126dbb153df
addedNormal in base b1e9e571613fc
addedAbsolutely normal number3ed59d61d1e1
addedAlmost all reals are normal0c597211a134
addedChaitin's constant is normal9d03eae564af
addedSimply normal sequence3576baa6c356
addedNormal sequence5f1597cf3205
addedSimply normal / normal real number in base bd4a10199952a
addedNormal number (absolutely normal)b4ad3b9c88a1
addedNormality transfers between rationally related basesad9e343deb74
addedIndependence of normality for irrationally related bases961b55c27219
addedDisjunctive sequence860f7c06db61
addedNormal implies disjunctive780af09b27d8
addedRich number / lexicon9fb0ce362882
addedNormal implies rich1a9cfe3a942f
addedRich characterization via densityecf49bca082d
addedAbsolutely non-normal (abnormal) number2667dee7537f
addedBorel: almost all reals are normala89badbc7d6b
addedSierpiński: explicit normal numberc38c2900ea66
addedBecher–Figueira: computable absolutely normal numberaa511ec1047e
addedNon-normal numbers form a null set27b2ea4790b8
addedNon-normal numbers are dense4da9cc7285bd
addedChampernowne's constant is normal in base 10076020db029f
addedCopeland–Erdős constant is normal in base 10761a25db5bae
addedBesicovitch: concatenated squares normald6103a6b5fe4
addedDavenport–Erdős: concatenated polynomial values normal46b3ea8abd70
addedNakai–Shiokawa theorem3ea0eace193c
addedBailey–Crandall: b-normal class from Stoneham numbers1d8534e2a4f4
addedNo rational number is normala166eb543b67
addedMartin's absolutely abnormal Liouville numbera3a64ae569d7
addedEvery nonzero real is a product of two normal numbers2200ff2cca3c
addedRational multiple of a normal number is normal13e117789d6c
addedConcatenation of dense set gives normal numbercbfd4cf8622e
addedBlock characterization of normality7195dec92ff4
addedNormality via simple normality in base b^k88443639dac9
addedAbsolute normality via simple normality in every base845b7a68336d
addedb-normality via simple normality on infinite set of exponents7c08d02a456c
addedNormality closed under finite variations4ba9bd8490ef
addedAgafonov: regular subsequences of normal sequences are normal59bd393d1f49
addedFinite-state gamblere54fcf52d050
addedFSG succeeds on a sequencee293b9efef28
addedFinite-state compressorce50bd3e1d2f
addedInformation lossless finite-state compressor147e673872d1
addedILFSC compresses a sequenced05cce3a58c2
addedSchnorr–Stimm and Bourke–Hitchcock–Vinodchandran: FSG characterization of normality794c70a442cb
addedZiv–Lempel: ILFSC compression characterization of normality847a2861202f
addedEquidistribution characterization of normality5cc002003244