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.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 1701–1800 of 5003.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| EHNGA1DHZS | EHNGA1DHZS | statement | record (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.02634#N01O |
| EHNGPDF94F | EHNGPDF94F | statement | record (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.12357#GLIR |
| EHNNB1T3NS | EHNNB1T3NS | statement | record (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.22326#EGI1 |
| EHNRGQ8222 | EHNRGQ8222 | exercise | open | open_logic content/computability/computability-theory/prop-reduce.tex#prob-2 |
| EHNVPVJ2X3 | EHNVPVJ2X3 | statement | record (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 2504.19468#X4OS |
| EHP sequence - calculus version | NMC02ZYN4C | statement | record (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.31269#1H1I |
| EHP spectral sequence | 7FBF6Y5CX3 | unknown | open | Wikidata Q5323100, nLab EHP spectral sequence |
| EHPVRSTEW5 | EHPVRSTEW5 | statement | record (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 1805.04646#716V |
| EHQSQ804P3 | EHQSQ804P3 | definition | record (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.13972#YPZI |
| EHQTP8CX3T | EHQTP8CX3T | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-59 |
| EHQZQNEMHE | EHQZQNEMHE | exercise | open | levin_dmoi ptx/exercises/gt-conc.ptx#exercise-15 |
| Ehrenfeucht–Mycielski sequence | C4C7S3ZKX2 | object | open | Wikidata Q5348613, OEIS A038219 |
| Ehrenfried Walther von Tschirnhaus | 33HJP35JDW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q77288, ProofWiki Mathematician:Ehrenfried_Walther_von_Tschirnhaus |
| Ehresmann connection | TSVHZE075C | concept | open | Wikidata Q2993471, nLab Ehresmann connection |
| Ehresmann's theorem | KBR1WYV65Y | statement | open | mathlib_1000 Q867141, Wikidata Q867141, thousand_plus Q867141, Wikipedia Ehresmann's theorem, nLab Ehresmann's theorem |
| EHRGHEKZNG | EHRGHEKZNG | statement | record (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.33238#J47B |
| EHRNPRDKJP | EHRNPRDKJP | statement | record (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#GCAA |
| EHTTH3MT7D | EHTTH3MT7D | statement | record (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.28781#OCXB |
| EHTZ89K0B9 | EHTZ89K0B9 | definition | open | napkin tex/alg-geom/sheaves.tex#definition-7 |
| Ehud Hrushovski | 3AJB4Y637X | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q949349, nLab Ehud Hrushovski |
| EHV0YHVDDG | EHV0YHVDDG | statement | record (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.02141#WDKX |
| EHVQ7YP432 | EHVQ7YP432 | example | record (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.33050#JKQ9 |
| EHW6542G58 | EHW6542G58 | proof | open | lebl_scv scv.tex#proof-42 |
| EHWHFNKXHF | EHWHFNKXHF | statement | record (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.02806#BKT4 |
| EHWHNDAY9D | EHWHNDAY9D | statement | record (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.12912#O1ZU |
| EHWHQPFFPA | EHWHQPFFPA | statement | record (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.16123#MAOV |
| EHWKP6DMXB | EHWKP6DMXB | statement | record (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.35204#373Y |
| EHXAMPEGBD | EHXAMPEGBD | statement | record (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.39307#RMIX |
| EHXCWT1269 | EHXCWT1269 | statement | record (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 2508.21045#HTY0 |
| EHXJ784VZE | EHXJ784VZE | statement | record (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 1912.08672#N2S8 |
| EHY4Y6MKFN | EHY4Y6MKFN | definition | record (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.24185#FMU4 |
| EHYF8D9971 | EHYF8D9971 | statement | record (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.32174#T3M8 |
| EHYNGD558M | EHYNGD558M | definition | record (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 2111.07409#G5B9 |
| EHZ76699X5 | EHZ76699X5 | statement | record (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/0406514#QI2U |
| EHZJ786XQM | EHZJ786XQM | statement | record (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.07001#CTPB |
| Eichler | AJYA7N3NMC | statement | record (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.40207#K03C |
| Eiffel Tower graph | ZFQG7HQEJJ | unknown | open | Wikidata Q137538057, House of Graphs 824, MathWorld EiffelTowerGraph |
| Eigenangle formulation | TRC8DGKVEB | statement | record (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.25805#TG7G |
| eigendecomposition of a matrix | 6YTKHA4790 | statement | open | mathlib_1000 Q194919, Wikidata Q194919, thousand_plus Q194919, Wikipedia Inverse eigenvalues theorem, MathWorld EigenDecomposition |
| Eigenelements of $P_1$ | YVP3QY37E2 | statement | record (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.24812#IXYC |
| Eigenelements of $P_2$ | XR8HA39R51 | statement | record (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.24812#B8Z8 |
| eigenfunction | JFZY7GZZ75 | concept | open | Wikidata Q1307821, MathWorld Eigenfunction |
| eigenfunction | MXZ6ET8KGV | concept | open | lebl_diffyqs index/3.1.1/eigenfunction |
| Eigenpath selection principle | 244FNP51FQ | statement | record (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.34016#G0KZ |
| eigenspace | 7M6REFR83G | unknown | open | Wikidata Q1303223, MathWorld Eigenspace, nLab eigenspace |
| eigenspace | NRKJ3NQ8KB | concept | open | austin_ula index/4.2.3/eigenspace |
| eigenstate thermalization hypothesis | J0CC85N9ZF | unknown | open | Wikidata Q17008931, nLab eigenstate thermalization hypothesis |
| eigenvalue | 2C823QWJ78 | topic | open | Wikidata Q3553768, MathWorld Eigenvalue, nLab eigenvalue |
| eigenvalue | CSHTQ5S97M | unknown | open | mathlib_overview Linear algebra > Structure theory of endomorphisms > eigenvalue, Mathlib Module.End.HasEigenvalue, mathlib_undergrad Linear algebra > Structure theory of endomorphisms > eigenvalue |
| eigenvalue | EX0G2VWP09 | concept | open | lebl_diffyqs index/3.1.1/eigenvalue |
| eigenvalue | NFWK380X71 | concept | open | austin_ula index/4.1.2/eigenvalue |
| eigenvalue of a boundary value problem | 6R7AZBTXK1 | concept | open | lebl_diffyqs index/5.1.2/eigenvalue-of-a-boundary-value-problem |
| Eigenvalue perturbation of symmetric matrices (Corollary 4.3.15 | AYCAZXTMZ8 | statement | record (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.30957#L2K1 |
| Eigenvalue ratio | NVHR70VQPP | statement | record (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.06742#MG9Y |
| eigenvalue, dominant | JJSF2A97HX | concept | open | austin_ula index/5.2.2/eigenvalue-dominant |
| Eigenvalue-free interval | 98K8V8YDK7 | statement | record (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.08599#XYC1 |
| Eigenvalue-free interval, ordinary Laplacian | RSZQKBBNJY | statement | record (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.08599#6KLO |
| Eigenvalues always exist over algebraically closed fields | GTH7RXJ8Z1 | statement | open | napkin tex/linalg/eigenvalues.tex#theorem-1 |
| eigenvalues from Rayleigh quotient | 30AWXDBXAV | unknown | open | mathlib_overview Analysis > Hilbert spaces > eigenvalues from Rayleigh quotient, Mathlib IsSelfAdjoint.hasEigenvector_of_isLocalExtrOn |
| Eigenvalues miss the transient | HZ4JFPB0QB | example | record (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.01501#2I4I |
| Eigenvalues need not exist | 6HKEHV385R | example | open | napkin tex/linalg/eigenvalues.tex#example-3 |
| eigenvector | S1Z3EE265C | concept | open | austin_ula index/4.1.2/eigenvector |
| eigenvector | W73N4DY4DN | unknown | open | mathlib_overview Linear algebra > Structure theory of endomorphisms > eigenvector, Mathlib Module.End.HasEigenvector, mathlib_undergrad Linear algebra > Structure theory of endomorphisms > eigenvector |
| eigenvector | XA54MRXC6S | unknown | open | Wikidata Q3555174, MathWorld Eigenvector |
| eigenvector decomposition | PSAZWPJ9DG | concept | open | lebl_diffyqs index/10.9.1/eigenvector-decomposition |
| eigenvectors and eigenvalues | WWPA78XGFN | unknown | open | Wikidata Q190524, EoM Eigen_vector, EoM Root_vector |
| Eight cross-base triple alignments | Q33ZHFAMQ0 | statement | record (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.10557#66UA |
| Eight queens puzzle | ZYEKZNYTM0 | statement | open | Wikidata Q623317, MathWorld QueensProblem, ProofWiki 8_Mutually_Non-Attacking_Queens_on_Chessboard |
| Eight scalar channels and Reynolds projection | QEDAKA2G0T | statement | record (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 2501.09848#GR90 |
| Eight triangular channels | GF81811RXS | statement | record (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 2501.09848#68OA |
| Eight-periodic family | S52A2VZP22 | statement | record (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.22082#6GBY |
| Eighth moment | G118Y4V1NG | statement | record (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.14373#JNB8 |
| eighth power | Q9R6C8GVQ6 | definition | open | Wikidata Q84752530, OEIS A001016, ProofWiki Definition:Eighth_Power |
| Eikonal equation | JB0WT628DK | topic | open | Wikidata Q1303846 |
| Eilenberg--Mac Lane space | K2SRPJSPNS | concept | open | hott_book index/7.10/eilenberg-mac-lane-space |
| Eilenberg--Mac Lane Spaces | KEDXSKJRYM | statement | open | hott_book homotopy.tex#Eilenberg-Mac-Lane-Spaces |
| Eilenberg-MacLane graphs | PTJK43HEMW | definition | record (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.03497#EALY |
| Eilenberg–Moore spectral sequence | Y9RGD71NHY | concept | open | Wikidata Q5349492, nLab Eilenberg–Moore spectral sequence |
| Eilenberg–Steenrod axioms | BVN8F302V2 | concept | open | Wikidata Q5349493, MathWorld Eilenberg-SteenrodAxioms |
| Eilenberg–Zilber theorem | PEKSS2HSS1 | statement | open | mathlib_1000 Q1349282, Wikidata Q1349282, thousand_plus Q1349282, Wikipedia Eilenberg–Zilber theorem |
| einselection | Y1K9K6KSH2 | unknown | open | Wikidata Q17010049, nLab einselection |
| Einstein field equations | GT5XVNZ78W | unknown | open | Wikidata Q273711, EoM Einstein_equations, MathWorld EinsteinFieldEquations, nLab Einstein equation |
| Einstein manifold | CNMPMCC7Y3 | unknown | open | Wikidata Q1309313, MathWorld EinsteinManifold, nLab Einstein manifold |
| Einstein notation | 9NTTKGEF08 | unknown | open | Wikidata Q673253, EoM Einstein_rule, MathWorld EinsteinSummation |
| Einstein relation | QCV97R2CAV | unknown | open | Wikidata Q900855, EoM Einstein-Smoluchowski_equation |
| Einstein tensor | VCRW7E7Q47 | unknown | open | Wikidata Q550929, MathWorld EinsteinTensor, nLab Einstein tensor |
| Eisenstein integer | PANSDT28Y8 | concept | open | Wikidata Q262370, MathWorld EisensteinInteger |
| Eisenstein Plancherel formula | CEFYHT117G | statement | record (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.25925#4EY9 |
| Eisenstein prime | 7QFNCJX2E5 | concept | open | Wikidata Q898675, MathWorld EisensteinPrime |
| Eisenstein primes in arithmetic progressions (see | 3K7GMA29TM | statement | record (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.01273#NY2H |
| Eisenstein series | P2ZZX45H89 | concept | open | Wikidata Q1313257, nLab Eisenstein series |
| Eisenstein's criterion | 2D2A6SPB20 | statement | node (a node has the same Wikidata item as the row) | Wikidata Q1057416, MathWorld EisensteinsIrreducibilityCriterion |
| Eisenstein's criterion | XYJSQS06PE | unknown | open | mathlib_overview General algebra > Polynomials and power series > Eisenstein's criterion, Mathlib Polynomial.irreducible_of_eisenstein_criterion, mathlib_undergrad Ring Theory > Polynomial rings > Eisenstein's criterion |
| EJ0B2HN17R | EJ0B2HN17R | example | record (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.02141#UPIT |
| EJ0Q5310QX | EJ0Q5310QX | statement | record (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.36613#ZK81 |
| EJ15QCGWTY | EJ15QCGWTY | statement | record (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.20758#07K7 |
| EJ1DXCZ2V4 | EJ1DXCZ2V4 | statement | record (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.15262#MIZC |
| EJ1MK54GZS | EJ1MK54GZS | exercise | open | lebl_scv scv.tex#exercise-46 |
| EJ21N8S4Y6 | EJ21N8S4Y6 | statement | record (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.07285#WSX0 |
| EJ29E6YBW2 | EJ29E6YBW2 | definition | open | lebl_ra ch-vol1-intro.tex#defn-1 |