Math 2.0

Inventory: E

The rows of the inventory whose names start with E. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Rows 3001–3100 of 5003.

NameIdKindOutcomeSources
ER0KQVNZ3ZER0KQVNZ3Zdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.05396#HJR5
ER0KX8H4GEER0KX8H4GEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08638#FQ1T
ER0PM7DQGMER0PM7DQGMstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2410.22607#VDZM
ER15KA48TFER15KA48TFstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26033#ZDQG
ER1H8MR7HTER1H8MR7HTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.04466#66K6
ER1VJ05B69ER1VJ05B69statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1907.01440#XHEQ
ER28CFCGAXER28CFCGAXstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.00512#34LO
ER2G98CFJJER2G98CFJJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.28993#UUL1
ER3JE014VVER3JE014VVstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16727#BV51
ER442BQSFBER442BQSFBstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2602.07485#Y9BA
ER4H6D4VDXER4H6D4VDXstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.19658#D105
ER4NP0A74ZER4NP0A74Zstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.24451#DT05
ER633VWNTSER633VWNTSstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08226#UTOL
ER6KPQFB1YER6KPQFB1Ystatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14045#YWOE
ER7F6DY2KGER7F6DY2KGdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.15421#UUUL
ER7HCXTSZBER7HCXTSZBstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.35683#V7I3
ER843N062KER843N062Kstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.39293#WUUP
ER85JJ504EER85JJ504Estatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.13358#TIQE
ER8NPXTDV4ER8NPXTDV4examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2312.14445#TUX7
ER8SEMYYS5ER8SEMYYS5statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08193#XXBM
ER9ANH2DQMER9ANH2DQMstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.09739#4QTJ
ER9E5GQQZDER9E5GQQZDstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1907.01440#CBTF
ER9WPEZXYAER9WPEZXYAdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2307.02473#H0J7
ERA2HQQ3EEERA2HQQ3EEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25080#F2D9
ERAHP0TAGTERAHP0TAGTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.39700#CJMT
ERANVVJZ7ZERANVVJZ7Zdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.13833#39AX
ERATBF23DRERATBF23DRstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14435#7SFR
Eratosthenes93FX626TS9unknownout_of_scope (a person, not an item of mathematics)Wikidata Q43182, ProofWiki Mathematician:Eratosthenes_of_Cyrene
ERAY40S6ZTERAY40S6ZTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08042#MJ7R
ERB3MWE5N2ERB3MWE5N2definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.15086#T50F
ERB8SBZQNFERB8SBZQNFproofopennapkin tex/set-theory/cardinal.tex#proof-5
ERBF8ZG2R4ERBF8ZG2R4statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.04466#EKRS
ERBJHMXVQ8ERBJHMXVQ8examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.33015#716P
Ercan--G\"ul--G\"ulo\u{g}lu--K{\i}zmazMMNWW73BFDstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.24640#7PSG
ERCHX0TGPPERCHX0TGPPproofopenhott_book homotopy.tex#proof-33
ERCNN6TGH6ERCNN6TGH6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.24584#XF05
ERD4CYT3PKERD4CYT3PKstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.28552#YA97
Erd\H os, Rényi1SQBFRXPJZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.28552#49Z9
Erd\H{o}sGJSB0J4ZVZconjecturerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26401#NH1Y
Erd\H{o}sJ59EMHJ3WVstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.38772#1A22
Erd\H{o}sK1W5F7A2HWconjecturerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16203#MAE5
Erd\H{o}s Matching Conjecture2E2K6YYCDAconjecturerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.24353#NATP
Erd\H{o}s, Ginzburg and Ziv51RY4AH5ZDstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27788#44TZ
Erd\H{o}s, one-power versionVPH8M0KBRWconjecturerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.07214#J8NT
Erd\H{o}s, Rényi2P5GKK28PSstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.28552#J81W
Erd\H{o}s--VolkmannRMGT3D9PZ6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.38970#VLFS
Erd\H{o}s-R\'enyi ensemble $\GG_\ER(N,k,D)$XR0KMN98KVdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.40345#07FI
Erdal İnönüZ4J0ZMWQR4unknownout_of_scope (a person, not an item of mathematics)Wikidata Q1348747, nLab Erdal İnönü
ERDCC25HDQERDCC25HDQstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.36423#3EZI
ERDKXMQRK2ERDKXMQRK2definitionopennapkin tex/alg-geom/mor-scheme.tex#definition-2
ERDWYEEDG1ERDWYEEDG1statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.13745#4TWK
ErdősVZ54T89YZGstatementopenapplied_combinatorics source/s_ramsey_girth.ptx#thm_girth
Erdős conjecture on arithmetic progressionsVZ41JVH0T9conjectureopenWikidata Q1991239, Erdős problem 3
Erdős numberXA4QMGXTDMdefinitionopenWikidata Q243972, MathWorld ErdosNumber, ProofWiki Definition:Erdős_Number
Erdős, Ko, RadoB77ABV0DK6statementopenapplied_combinatorics source/s_kitchensink_extremal-set-theory.ptx#theorem-1
Erdős-Ko-Rado TheoremNJYBJTRYN2conceptopenapplied_combinatorics index/16.2/erdős-ko-rado-theorem
Erdős-Moser equation5KNVZB8RM2conceptopenWikidata Q1349616, MathWorld Erdos-MoserEquation
Erdős/Szekeres TheoremKT06WF1BMVstatementopenapplied_combinatorics source/s_basics_pigeonhole.ptx#thm_ErdosSzekeres
Erdős–Anning theoremK99E7XGV7Vstatementopenmathlib_1000 Q3526982, Wikidata Q3526982, thousand_plus Q3526982, Wikipedia Erdős–Anning theorem, MathWorld Erdos-AnningTheorem
Erdős–Borwein constantF32T9T48RMobjectopenWikidata Q1349661, MathWorld Erdos-BorweinConstant
Erdős–Dushnik–Miller theorem5HF6TDQ4TQstatementopenmathlib_1000 Q96377355, Wikidata Q96377355, thousand_plus Q96377355, Wikipedia Erdős–Dushnik–Miller theorem
Erdős–Gallai theoremVVH53XQCCGstatementopenmathlib_1000 Q5385323, Wikidata Q5385323, thousand_plus Q5385323, Wikipedia Erdős–Gallai theorem
Erdős–Ginzburg–Ziv theoremWQTK23CKETstatementopenmathlib_1000 Q716171, Mathlib ZMod.erdos_ginzburg_ziv, Wikidata Q716171, mathlib_overview Combinatorics > Additive combinatorics > Erdős–Ginzburg–Ziv theorem, thousand_plus Q716171, Wikipedia Erdős–Ginzburg–Ziv theorem
Erdős–Heilbronn conjectureYSDV6KGC7VconjectureopenWikidata Q130240262, MathWorld Erdos-HeilbronnConjecture
Erdős–Kac theorem4M0K85G8FNstatementopenmathlib_1000 Q846840, Wikidata Q846840, thousand_plus Q846840, Wikipedia Erdős–Kac theorem, MathWorld Erdos-KacTheorem
Erdős–Ko–Rado theorem60F5YZ7X6Ystatementopenmathlib_1000 Q718875, Mathlib Finset.erdos_ko_rado, Wikidata Q718875, thousand_plus Q718875, Wikipedia Erdős–Ko–Rado theorem
Erdős–Mordell inequalityFTFP98D8B2statementopenWikidata Q990530, MathWorld Erdos-MordellTheorem
Erdős–Nagy theoremXWW3MC9YVHstatementopenmathlib_1000 Q5385324, Wikidata Q5385324, thousand_plus Q5385324, Wikipedia Erdős–Nagy theorem
Erdős–Nicolas numberEVKZ6NF3RGobjectopenWikidata Q16334729, OEIS A194472
Erdős–Pósa theoremKEV4YVM7H5statementopenmathlib_1000 Q5385325, Wikidata Q5385325, thousand_plus Q5385325, Wikipedia Erdős–Pósa theorem
Erdős–Rado theorem60NTD22VZNstatementopenmathlib_1000 Q1366581, Wikidata Q1366581, thousand_plus Q1366581, Wikipedia Erdős–Rado theorem
Erdős–Stone theoremJQ1BECFF7Mstatementopenmathlib_1000 Q5385326, Wikidata Q5385326, thousand_plus Q5385326, Wikipedia Erdős–Stone theorem
Erdős–Straus conjecturePXNR4SX8M6conceptopenWikidata Q1349651, MathWorld Erdos-StrausConjecture, ProofWiki Erdős-Straus_Conjecture
Erdős–Szekeres theoremQFKQT6M09Estatementnode (a node has the same Wikidata item as the row)mathlib_100 73, Mathlib Theorems100.erdos_szekeres, mathlib_1000 Q976607, Wikidata Q976607, thousand_plus Q976607, Wikipedia Erdős–Szekeres theorem, MathWorld Erdos-SzekeresTheorem
Erdős–Tenenbaum–Ford constantNQA7AW6W7XobjectopenWikidata Q55610987, OEIS A074738
Erdős–Ulam problemE3YX8PC3CEproblemopenWikidata Q27999391, Erdős problem 212
Erdős–Woods numberY94YB9605ZconceptopenWikidata Q990533, OEIS A059756
EREE6DRNKWEREE6DRNKWstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.13745#DVUV
EREFY5GSVEEREFY5GSVEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.32374#DO5U
EremenkoTXAN1B2EF8conjecturerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.17116#URTI
Eremenko's conjectureQ4MQM05FTPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.19243#HOYU
Eremenko--Lyubich; Goldberg--KeenKXPF65ZKNJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.30067#PREJ
ERF9RSGMQQERF9RSGMQQstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.02407#GFDR
ERFJTKY0CZERFJTKY0CZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25656#UUWY
ERFYG4VPHVERFYG4VPHVstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.09390#5TCG
ergE3F66JFP35definitionopenWikidata Q185153, ProofWiki Definition:CGS/Energy/Erg
ERG28K5785ERG28K5785statementopenlebl_ra ch-real-nums.tex#prop:bordfield
Ergin Sezgin7541XF0759unknownout_of_scope (a person, not an item of mathematics)Wikidata Q16063675, nLab Ergin Sezgin
ergodic hypothesisVSPB7KN59NunknownopenWikidata Q174196, nLab ergodic theory
ergodic theoremZSCDZNY9DFstatementopenWikidata Q2735874, MathWorld BirkhoffsErgodicTheorem
ergodic theoryN5GBNTH587statementopenarXiv 2512.08487#J317, mathlib_1000 Q5498822, Wikidata Q5498822, thousand_plus Q5498822, Wikipedia Birkhoff's ergodic theorem, MathWorld ErgodicTheory, ProofWiki Definition:Ergodic_Theory
Ergodicity7SAN8YPRY0statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.32832#0PA3
ergodicityC8D5T03MFMunknownopenWikidata Q5426803, EoM Ergodicity
ErgodicityGZSNR5PQNKdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv math/0003117#FYUJ
ErgodicityHMNFEFYJFQdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2512.08487#CKIH
ergodicity of Brownian scalingTM18WQC4HYstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.04000#G360
Ergodicity of the projected Markov chain55DC2XRXKNstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2607.28185#K977
Ergodicity: existence, uniqueness, exponential convergence1TDTN5M1VZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37944#K850
Ergodicity: existence, uniqueness, exponential convergence6V582J2S5Astatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37944#4OBE
Erhard SchmidtSNPYDV7B4Qunknownout_of_scope (a person, not an item of mathematics)Wikidata Q61766, ProofWiki Mathematician:Erhard_Schmidt