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 4701–4800 of 5003.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Exponential tails of the global maximizer | F5G9NR2KHP | 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.10080#XKQX |
| Exponential tails on a periodic lattice | W83HW0M2BE | 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.00448#ZK5O |
| Exponential tilting | GPSTX17SEX | 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.02531#T6L0 |
| Exponential Uncertainty Decay | J9EYZS5SV6 | 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.25589#DR7S |
| Exponential upper bound for spectral growth | 3T09BF3EJS | 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.22109#0OI8 |
| Exponential work requirement | FBAWB053F6 | 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.15202#IDO2 |
| Exponential-moment bound | AQ7BG7RAJM | 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.33291#ADB4 |
| Exponentially decaying $k$-body decomposition | ERPAHCA41C | 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.00448#5HQO |
| Exponentially decaying weights | 9D58GSGJ7M | 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.29671#87U4 |
| Exponentially fine microscopic energy | G949M7NGXZ | 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#Z20M |
| Exponentially large memory time for $Z$ errors in mixed-boundary helical HGP codes | DX8D8B4WRW | 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.04834#4V25 |
| Exponentially large memory time for $Z$ errors in open-boundary helical HGP codes | V4Y6VW5MJC | 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.04834#TQ4Z |
| Exponentially large memory time of the PBC helical code | ETC617PP3T | 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.04834#GT8H |
| Exponentially weighted operator drift | GKSNHT91DT | 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.39837#MSDA |
| exponentiation | BMD9HBYV9V | unknown | open | Wikidata Q33456, MathWorld Exponentiation, ProofWiki Category:Exponentiation_of_Cardinals |
| Exposing | FHKKFD704P | 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/0003117#9J4K |
| Exposure cost of a dual path | 8ZPQ352Z4Q | 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.04944#2UF7 |
| Expression for $\int |T|_\tau(\overline{B}_r(\cdot))$ | KDQYT1HJER | 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.24451#1GM0 |
| Expression of $A^\alpha$, $B^\alpha$ | AKDXBS1ZGH | 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.21781#6MQ7 |
| EXQ30V9V37 | EXQ30V9V37 | 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.28336#1DIH |
| EXQNBEMHBF | EXQNBEMHBF | 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 1902.04230#GI78 |
| EXQP2034YQ | EXQP2034YQ | 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.17070#58Y7 |
| EXQZ6287ER | EXQZ6287ER | unknown | open | arXiv math/0512416#ON55 |
| EXR8297XYS | EXR8297XYS | 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.31445#OR58 |
| exradius | SA80RD1SC2 | definition | open | Wikidata Q78257788, MathWorld Exradius, ProofWiki Definition:Excircle_of_Triangle/Exradius |
| EXREKXK43K | EXREKXK43K | 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.21365#8ZPA |
| EXRJD9CBB8 | EXRJD9CBB8 | 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.15344#L4IC |
| exsecant | WYY23XAYYR | unknown | open | Wikidata Q2282261, MathWorld Exsecant |
| EXSXMR51VM | EXSXMR51VM | 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.17579#1FLW |
| Ext functor | VKQEE1D9NE | unknown | open | Wikidata Q1384902, nLab Ext |
| extend periodically | N0KAKER3JP | concept | open | lebl_diffyqs index/5.2.1/extend-periodically |
| Extend the chain without changing its earlier frequencies | WPRCPYTT4J | 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.25101#6KW3 |
| Extendability and the circumradius | EV2Y66XEPZ | 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.25120#KIRL |
| Extendability of geodesics | K2G7MTYCPP | 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.24610#WWIZ |
| Extended base-phase inequality | 13PGK8ZT3G | 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.37164#9R0B |
| Extended Bihari inequality | D2PTMJ8T0R | 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.10220#7EMT |
| Extended Chebyshev system | D15EZA3BS0 | 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.19861#C8TY |
| extended complex plane | DJN2B5DA8R | definition | open | Wikidata Q120961422, MathWorld ExtendedComplexPlane, ProofWiki Definition:Extended_Complex_Plane |
| Extended Envelope | 28HZMX066T | 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.33946#KOMX |
| Extended Grünbaum--Heppes--Straszewicz theorem, Theorem 7.1 | CN1CPZG5HG | 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.06340#RSBL |
| Extended Norm-Trace Codes versus One-Point Hermitian Codes | QV15QP55D1 | 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.31484#FVOX |
| Extended Polymatroid | RNFQ14DSSS | 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.33946#IXI4 |
| extended real number line | 86F5E9RCZ6 | definition | node (a node has the same Wikidata item as the row) | mathlib_overview General algebra > Numbers > extended real number, Mathlib EReal, Wikidata Q2039387, MathWorld AffinelyExtendedRealNumbers, ProofWiki Definition:Extended_Real_Number_Line |
| extended supersymmetry | 4TMBGF22BY | unknown | open | Wikidata Q55643022, nLab extended supersymmetry |
| Extended Totally Positive (ETP | Q018A5ZDPN | 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.19861#0C6T |
| Extended trajectory | PM63VED4XJ | 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.14988#160E |
| Extended unoriented tangloid category | SBPXKKN1P5 | 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.37524#RAWI |
| Extended) Teaching Dimension Growth Function | 18V7EMGY9Q | 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.27241#JF0L |
| extendible cardinal | PFV7NC8RWE | unknown | open | Wikidata Q5421910, nLab extendible cardinal |
| Extendible coefficients on the plane-curve neighborhoods | Z8AHXHWYHE | 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#LEG8 |
| Extending a representable lift | NWS2R9PQ30 | 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.28220#1IYP |
| Extending the quotient embedding | 9GVEY0NC4X | 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.26984#K8U6 |
| Extending vectors to parallel vector fields | E1PZC9TCFQ | 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 2406.06762#MN3H |
| Extension | 933SJ11J1G | 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.21662#328Z |
| Extension across the chamber boundary | CFMPZ7GHF4 | 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.38228#3VSW |
| Extension and realization of the unit models | GC71RPNRFW | 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.30301#S2Q9 |
| Extension at the simplex boundary | Q1PJ5GD3B4 | 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.11619#5JQA |
| extension by continuity | EDPSDTKTFY | unknown | open | mathlib_overview Topology > General topology > extension by continuity, Mathlib IsDenseInducing.extend |
| Extension by precomposed term | 810HQGV1XC | 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#ECBK |
| Extension formula for every field quotient | 57066HT4XR | 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.15340#T8E4 |
| Extension from a subgroup | 9QMGVG9EWY | 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.26576#BBFK |
| Extension from a truncated weave | NDQNGGQ3D7 | 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.12531#7GDR |
| Extension is semantic | BEG55TVNJ1 | 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#OEOT |
| Extension is Well-Typed | 70RR945NJF | 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#67FJ |
| Extension lemma | 1ZGRHB7PN9 | 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.15340#T34B |
| Extension Lemma | J1CZWJZC61 | 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.03488#JB0V |
| Extension Lemma | KMTJKJ2PAQ | 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.15099#F76V |
| Extension lemma | S1ATHD0ERF | 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 2204.04317#2PL0 |
| Extension of $\Op L$ and uniqueness of the native space | 5676NV3GV9 | 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.14906#A96F |
| Extension of , Lemma 5.5 | NCAXVHQDER | 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.06372#0VGQ |
| Extension of a contraction morphism | XAP76T3E7Z | 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.17817#U7NA |
| Extension of a finite etale section | CATVJMV2S9 | 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.33808#S6QD |
| Extension of Borel-Heyting Measures | ZEA03ZFVZ2 | 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.10930#ZAEG |
| extension of scalars | WBDK2QDZ0V | unknown | open | Wikidata Q5421950, nLab extension of scalars |
| Extension of the finite action over the $C_7$ singular orbit | QRZ1SFPED2 | 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.37265#2V95 |
| Extension of the target to the transient states | SKEW61W6DW | 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.14988#8ZQD |
| Extension through the standard tube | 6CRE46300N | 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.03298#DY43 |
| Extension to Inequality Constraints | B0CZPMGF3W | 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.19181#VHXT |
| Extension--Composition Distribution | 7JPCQBR2HQ | 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#GWJG |
| extensional, type theory | FSC62TJ17S | concept | open | hott_book index/1.15/extensional-type-theory |
| extensional, type theory | VQNY3FJ146 | concept | open | hott_book index/A.12.3/extensional-type-theory |
| Extensionality | 3R43J1KGW1 | definition | open | open_logic content/sets-functions-relations/sets/basics.tex#defn-1 |
| Extensionality | CM28NWBS2E | definition | open | open_logic content/lambda-calculus/syntax/eta.tex#defn-2 |
| Extensionality | F468YSF961 | statement | open | open_logic content/set-theory/story/extensionality.tex#axiom-1 |
| Extensionality | R9S3GDJZNK | statement | open | open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#prop:extensionality |
| Extensionality for !!^{sentence}s | 90X5BM2WTF | statement | open | open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#cor:extensionality-sent |
| extensionally defined set | PD6A689QDS | unknown | open | Wikidata Q109942027, MathWorld SetExtension |
| Extensions at the certified parameter | 9FVG8D2269 | 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.15125#GHG9 |
| extensive category | P6QGSDP54M | unknown | open | Wikidata Q55611299, nLab extensive category |
| Extent of block propagation | FMMNP9YSG3 | 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.05652#TAG6 |
| exterior algebra | JDYGRE382G | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1196652, MathWorld ExteriorAlgebra, nLab exterior algebra |
| exterior algebra | P5MM0KG3JN | unknown | open | mathlib_overview General algebra > Algebras over a ring > exterior algebra, Mathlib ExteriorAlgebra |
| exterior angle | ZHD5D7EE7R | unknown | open | Wikidata Q356192, MathWorld ExteriorAngle |
| Exterior angle theorem | 5HFXPT11AC | statement | node (a node has the same name as the row) | mathlib_1000 Q5421989, Mathlib EuclideanGeometry.exterior_angle_eq_angle_add_angle, Wikidata Q5421989, thousand_plus Q5421989, Wikipedia Exterior angle theorem |
| exterior bundle | 1FPAF9C4S2 | unknown | open | Wikidata Q5421983, nLab exterior bundle |
| Exterior changes are almost fixed | TAJQA7WZ74 | 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.03683#YGO1 |
| exterior covariant derivative | 64PV6NF89F | unknown | open | Wikidata Q5421988, nLab exterior covariant derivative |
| exterior derivative | 70KHYD4XYE | definition | node (a node has the same name as the row) | Wikidata Q1754547, MathWorld ExteriorDerivative, ProofWiki Definition:Exterior_Derivative |
| Exterior derivative vanishes | QV27K1ZHN8 | statement | open | napkin tex/diffgeo/forms.tex#thm:dd_zero |
| Exterior determination at Lebesgue points | EBT7TRTYW4 | 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.17524#XXF9 |