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 4401–4500 of 5003.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Existence of exceptional weights | TN99GECVV2 | 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.14310#OWAD |
| Existence of ground state | 6S9BX6FW2Z | 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.28454#E7MI |
| Existence of ground state | DJZSZP3QNZ | 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.15460#HXYS |
| existence of Hilbert basis | 2YXXRXTFKD | unknown | open | mathlib_overview Analysis > Hilbert spaces > existence of Hilbert basis, Mathlib exists_hilbertBasis |
| Existence of invariant probability measure | ZAX0JQS243 | 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 2303.10636#F9ZY |
| Existence of Lyapunov Functions in {$\R_D$ | JD2GMYP5PM | 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 2506.08233#7JZA |
| Existence of measurable medial mean | V1RHHADGTT | 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 2203.01511#IO8W |
| existence of minimizers | ZAMXASGZVD | 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.26645#TY29 |
| Existence of minimizers for $S_{\alpha,\beta}(n,m)$ | H0WAZT8P99 | 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.09001#2LVT |
| Existence of Morse Lyapunov functions | MKEVH1KNYG | 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.05626#G5YY |
| Existence of motions in regular points | N6J3KX9C13 | 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.17004#NLEB |
| Existence of motions on analytic manifolds | 4CJ1F8TAG0 | 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.17004#EPGT |
| existence of orthonormal basis | 87SDCGDTVP | unknown | open | mathlib_overview Linear algebra > Finite-dimensional inner product spaces (see also Hilbert spaces, below) > existence of orthonormal basis, Mathlib OrthonormalBasis |
| existence of positive critical transition values | T9JZXG61H3 | 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 2210.06147#FIXR |
| Existence of projection onto the river \& further properties | 3RM5DYV39G | 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#CHKP |
| Existence of QOT barycenters | 4AQ915N2HZ | 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.01855#0048 |
| Existence of recovering meshes | J1MDNDF244 | 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.00117#BNIX |
| Existence of relaxed minimizers | 3PRRMP0V3V | 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.00033#39Z4 |
| Existence of robust inner CSS gadgets | B3XYC26DHR | 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.40252#14XO |
| Existence of smooth wider globally hyperbolic structures | JDKGRCE7XW | 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.11911#TTXH |
| Existence of smooth wider non-totally imprisoning structures | G9QX0JFR8J | 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.11911#2XIY |
| Existence of solutions | TDT22MKZ9Q | 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.12165#4F7T |
| Existence of solutions for nonlocal problem | VF3BC7WQA6 | 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.27414#RUNE |
| Existence of solutions for nonlocal problem with autonomous operators | 64VEW85YZ3 | 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.27414#M19J |
| Existence of Strong-Young Solutions | 870DVRAQHZ | 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 2312.06473#E7O4 |
| Existence of tests | T12SKT53F1 | 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.07240#CHP6 |
| Existence of the $\mathcal Q(q,d)$ family | VE509M1D5J | 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.02392#LGPY |
| Existence of the analytic neighborhood | 1XBDPSNHJQ | 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.21093#QLJT |
| Existence of the candidates | DF3175P8AM | 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.29839#7SMC |
| Existence of the connection constant | NXWZ1X9SS3 | 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.00396#S4UJ |
| Existence of the edge speeds | DZEP8ZASNE | 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.18312#BAFA |
| Existence of the elementary blocks | 6S6YBRW73X | 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.05364#U2D3 |
| Existence of the finite-width $\phi^4_2$ measure | 3KAJ04JGZ9 | 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.00453#KRJY |
| Existence of the global attractor | V50G4PVPNY | 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.11027#D59Z |
| Existence of the very weak solution, case $V \in \mathbb{R}$ | ZQBSPWXC8V | 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 2110.12380#I18C |
| Existence of the very weak solution, case $V\geq 0$ | JYJDZGJ2XT | 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 2110.12380#CC2G |
| Existence of unimodular stellar towers | GQW2H9Q363 | 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.27799#L4D1 |
| existence theorem | VDY2S7Q844 | statement | open | arXiv 2610.08253#1231, Wikidata Q2694495, MathWorld ExistenceTheorem |
| Existence time estimate for geodesics | 9PC4P2EX92 | 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.11911#N8L5 |
| Existence, uniqueness and properties of gradient flows | 7DJJXD79WP | 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.21775#ZK21 |
| Existential improvement beyond the double semicircle law | WAZVF8Y2Y1 | 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#OU1E |
| existential quantification | C95ZYPF74P | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q773483, nLab existential quantifier |
| existential quantifier | QJNAKM2NHK | concept | open | levin_dmoi index/1.2.3/existential-quantifier |
| existential sentence | EW0ETQQZY3 | unknown | open | Wikidata Q141488402, MathWorld ExistentialSentence |
| existentially closed model | 9H0XK58TTN | unknown | open | Wikidata Q5420362, nLab existentially closed model |
| Existing gradient of EVD | 4SGRT4EY91 | 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.32505#F2VW |
| Exit event | NGAF9AP4VY | 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.39409#Q00K |
| exit theorem of a compact subspace | 17Q1WVC14J | unknown | open | mathlib_undergrad Multivariable calculus > Differential equations > exit theorem of a compact subspace |
| Exit time | 8R0T6MK6BV | 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.39409#SKCX |
| Exit time | JHFX448YES | 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.39409#YQ3N |
| Exit time | QHW1QYHFSM | unknown | open | |
| EXJ1R17KZF | EXJ1R17KZF | 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.21752#CZGZ |
| EXJFT6PBNN | EXJFT6PBNN | 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.18078#Z6ZY |
| EXKEW3CJTQ | EXKEW3CJTQ | 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.20801#9BE7 |
| EXKR6JD1K8 | EXKR6JD1K8 | definition | open | napkin tex/topology/fundamental-group.tex#definition-4 |
| EXKSM4ST29 | EXKSM4ST29 | 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.12013#SRTZ |
| EXKZFWRN6N | EXKZFWRN6N | 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.26357#MNDU |
| EXMVTGWW33 | EXMVTGWW33 | 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#IAZ8 |
| EXMYDFH5AV | EXMYDFH5AV | proof | open | hott_book setmath.tex#proof-30 |
| EXN571SHAG | EXN571SHAG | 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.40054#8JGY |
| EXNG6GN33W | EXNG6GN33W | 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 2503.08488#TIX1 |
| exogeneity | 6BEQCYTBX5 | definition | open | Wikidata Q1384111, ProofWiki Definition:Exogenous_Variable |
| exotic meson | MV10DP0SAX | unknown | open | Wikidata Q2629256, nLab exotic meson |
| exotic sphere | JQ61H6FFD7 | concept | open | Wikidata Q3105146, MathWorld ExoticSphere |
| Exp-concavity | FMR5SPKNHG | 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.20416#E4YT |
| EXP8XSSTEN | EXP8XSSTEN | 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.32860#UZ72 |
| expanded notation | FQ7D97RWZB | unknown | open | Wikidata Q137718467, MathWorld ExpandedNotation |
| Expander averaging | 6VVJVFPA75 | 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.40252#9HSG |
| Expander mixing lemma | V9H2QBJNBH | 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 1204.5958#50BO |
| Expanding-interval matching | 37YV77DEPH | 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.21328#3SVM |
| expansion | V1WQ3QQ440 | unknown | open | Wikidata Q5420776, MathWorld Expansion |
| Expansion | XZDX63150S | problem | 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#TUAO |
| Expansion 1.10a | JGY3B9PBP7 | 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.08500#4OZO |
| Expansion 1.6a | BPP4JFKAZZ | 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.08500#UXDS |
| Expansion 1.6b | 9VTBBBZ0XR | 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.08500#B1KH |
| Expansion 1.6c | 7176HC5XJ2 | 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.08500#U4OI |
| Expansion 1.8a | NJEGXWY64N | 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.08500#TWQL |
| Expansion 1.8b | 5MBFXD7WVM | 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.08500#KQKC |
| Expansion and retrieval periods | MXJSC2RHPK | 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 math/0003117#LBCY |
| expansion around the free theory | YQ4QT66BFX | 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.18803#CHTL |
| Expansion in terms of homogeneous solutions | C6EN19R6Q0 | 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.18270#QVD2 |
| Expansion in terms of homogeneous solutions $\mathcal U_0$ | 1KRV0SRXMF | 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.18270#VFIV |
| Expansion in terms of homogeneous solutions $U_0$ | 1K9ECEKZSC | 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.18270#85BA |
| Expansion inheritance under vertex subsampling | S94CYT93VD | 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.35766#XQ5O |
| Expansion of $\Delta_1$ | T4R1T94K8C | 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.15805#2FH2 |
| Expansion of $\Delta_2$ | B6NWEH7QJ6 | 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.15805#3RPN |
| Expansion of $\Delta_3$ | 2Y0EP92TNH | 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.15805#Z5FF |
| Expansion of $B$ | AX1EG8X8CV | 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.10821#5JLS |
| Expansion of $g$ | YYTK881RPY | 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.17946#13Q9 |
| Expansion of a traceless operator | 37QJ5XZVM8 | 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.16351#95KM |
| Expansion of Substitutions | G7E6CPBZBX | 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.21131#HRFM |
| Expansion of the defect coefficients | 6JRYC2HHF7 | 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.17946#3G4J |
| Expansion of the errors | 7VAEG2VYY0 | 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.15805#IAO3 |
| Expansion of the free energy | G6077Z3DKB | 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.25301#YGTA |
| Expansion of the Hamiltonian in the chart | QZ4G6Y4D8B | 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.32710#JSY1 |
| Expansion over orientations | WMFBBDG09M | 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.08500#FNRX |
| Expansion Preserving Gravity | ACB5SMSSVV | 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.17677#7W6J |
| Expansion, tracking, and escape facts | P4G4C85JRX | 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.39408#IXRP |
| Expansive map | PMB9QZJG3Q | 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 2411.17227#DAHT |
| expectation | 6EC4TDES2F | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q200125, MathWorld ExpectationValue, nLab expectation value |