Inventory: L
The rows of the inventory whose names start with L. 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 1401–1500 of 1911.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Localization of operators | PM4A14BJ6K | 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.12731#1DIN |
| Localization of the displacement | SXZZB1DZ9G | 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.12203#1HTY |
| Localization of the remaining pairs | R2V95R58R8 | 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.37615#B559 |
| Localization on a tetrahedral tiling | 1JH50ZSVPA | 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.20910#2NQM |
| Localization recognition | 2E1K844QMX | 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.21675#Z1B2 |
| Localization sequence | ZYV2CNDKZH | 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.32599#R6G6 |
| Localization Transfer | MYYKTYK9AJ | 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.30105#PCFT |
| Localization with fixed parameter collars | Q6NA93WEC2 | 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#UJGB |
| Localized antisymmetrization | HG8PX0Q5GQ | 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.34402#DTV6 |
| Localized bounds from a uniform cover | HTRRPW9J9V | 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.12544#M70M |
| Localized Bourgain--Dyatlov estimate | 5S6JWN5SVQ | 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.17276#O757 |
| Localized character | K3NKFD50E7 | 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.30637#LLHM |
| Localized comparison with a shifted scalar index | 5MPSPCVYN3 | 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.32001#CPIN |
| Localized conditional geometry | NZ0D38Q5TJ | 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.16248#GN7W |
| Localized edge-noise process | 4KVTPKHRZT | 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.09030#UAXZ |
| Localized empirical quantile estimate | 9XJ6KCD90G | 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.12740#TLDX |
| Localized estimates of Plotnikov--Weigant | ESPZ531P5G | 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.12387#K6PP |
| Localized Euclidean doubling | 2NP0HZDC1G | 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.01324#BO1C |
| Localized forward and inverse stochastic-flow formulas | QC7PAE7Q98 | 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.09278#ACV5 |
| Localized fractional energy | D6MW190Y3C | 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.34066#XJ50 |
| Localized fractional Riesz virial identity | 74BTE2AW1E | 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.10188#7G0G |
| Localized gap and its budget | QFGPKYZ5W9 | 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.32558#RHHP |
| Localized index | 8WKW4HDBYP | 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.30637#KVN7 |
| Localized It\^o--Wentzell condition | ZP8K5C2Z63 | 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.09278#VKJ2 |
| Localized Jackson polynomial | GT1QP8WVVC | 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.21363#BNZ9 |
| Localized measure estimate | TC1H7JQVNQ | 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 2401.14638#0RQL |
| Localized momentum identity | T2MJM0WCZ1 | 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.12387#7A6V |
| Localized oracle inequality for a logit class | GT3HAYJV2R | 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.12544#RP4N |
| Localized Pinelis--Bernstein inequality | G5T14E0M98 | 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.13916#8D02 |
| Localized product bounds | 9DAVDCP6DZ | 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.00241#OSTM |
| Localized quantile estimate | RAN94NPVPZ | 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.01391#KOCY |
| Localized radii, exit time and localized constants | HWF5BZ5BDT | 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#IKS3 |
| Localized source-layer pressure | YMQNDGSKV4 | 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.10188#VTNF |
| Localized spectral multipliers | 41QA224YXQ | 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.29147#KTBF |
| Localized squashing with algebraic multiplicity | K7QFAD5MT0 | 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.01324#JJ2Y |
| Localized virial identity | QHJSSWBHH9 | 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.10188#C2V6 |
| localizing subcategory | 13HSF3NQX1 | unknown | open | Wikidata Q25303774, nLab localizing subcategory |
| locally bounded function | SFK8F34PVS | concept | open | lebl_scv index/1.1/locally-bounded-function |
| locally bounded in $U$ | H55N5K0H9S | concept | open | lebl_scv index/1.6/locally-bounded-in-u |
| locally cartesian closed category | S2SQ1H1Y62 | concept | open | hott_book index/C.1.4/locally-cartesian-closed-category |
| Locally co-minimal distance, adapted | C50JXJXWWM | 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.28028#MQ13 |
| locally compact Hausdorff group | YH8M4HNYSS | unknown | open | Wikidata Q2147620, MathWorld LocallyCompactGroup |
| locally compact space | Y5YV9YEXA9 | unknown | node (a node has the same name as the row) | Wikidata Q583034, MathWorld LocallyCompact |
| locally connected space | 6JV38SE84K | unknown | open | Wikidata Q865967, MathWorld LocallyConnected |
| locally constant function | 690EFA5QWV | unknown | open | Wikidata Q1762213, nLab locally constant function |
| Locally constant property | 21PVFQA7TE | 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.12565#X206 |
| locally constant sheaf | C10TPTPD8W | unknown | open | Wikidata Q48968657, nLab locally constant sheaf |
| locally contractible space | 4E2QFG32MG | unknown | open | Wikidata Q15832668, nLab locally contractible space |
| locally convex space | KJEJD87JNC | definition | open | mathlib_overview Analysis > Topological vector spaces > local convexity, Mathlib LocallyConvexSpace, Wikidata Q1572357, EoM Locally_convex_space, MathWorld LocallyConvex, MathWorld LocallyConvexSpace, nLab locally convex topological vector space, ProofWiki Definition:Locally_Convex_Topological_Vector_Space |
| Locally feasible atomic representation | RW4MJWPENG | 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.17371#N1Y7 |
| Locally finite space | 606HM6W071 | concept | open | Wikidata Q16920337, MathWorld LocallyFiniteSpace |
| locally free sheaf | SQY1N3Z4SM | unknown | open | Wikidata Q6664699, nLab algebraic vector bundle |
| locally integrable function | 4RKT143JX6 | definition | open | Wikidata Q1318586, EoM Locally_integrable_function, MathWorld LocallyIntegrable, ProofWiki Definition:Integrable_Function/Locally_Integrable_Function |
| locally integrable functions as distributions | A075WQNAFP | unknown | open | mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > locally integrable functions as distributions |
| Locally interacting quasi-free vectors/states | 1YNNBYK8FZ | 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.10840#U39S |
| locally linear | 3HQ9FG90XP | concept | open | active_calculus index/1.7.4/locally-linear |
| Locally maintained fields | R122652Y93 | 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#MH1T |
| Locally minimal coloop splitting | NQ50D7BZ9C | 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.37778#N0BU |
| locally Noetherian scheme | Q985Q636CT | definition | open | Wikidata Q122860624, ProofWiki Definition:Locally_Noetherian_Scheme |
| locally path-connected space | F3KNDNNBKQ | unknown | open | Wikidata Q16671984, MathWorld LocallyArcwise-Connected, MathWorld LocallyPathwise-Connected, nLab locally path-connected space |
| locally presentable category | VJ5662G0JK | unknown | open | Wikidata Q123015498, nLab locally presentable category |
| locally ringed space | AQYEKS4B5D | definition | open | Wikidata Q91438488, nLab locally ringed topological space, ProofWiki Definition:Locally_Ringed_Space |
| locally ringed space | KCQEWV18P5 | unknown | open | mathlib_overview Geometry > Algebraic geometry > locally ringed space, Mathlib AlgebraicGeometry.LocallyRingedSpace |
| locally small category | GNEHNXAYNR | definition | open | Wikidata Q121771058, ProofWiki Definition:Locally_Small_Category |
| Locally uniform conditional expansion | 2YFRJ7DYKX | 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#TIMO |
| locatedness | RJ4KWB214H | concept | open | hott_book index/B.2/locatedness |
| Location | BW6J2VCMNT | 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#6H1Y |
| Location of $t_j$ | Q63QR9CP6T | 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.17479#X2VU |
| Location of $t_j$, Gaussian regime | KZ2ATC375M | 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.17479#LLC2 |
| Location of the minimizer | AA6Q57EH1Z | 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.15180#UNRG |
| Location--scale families and the evidence lower bound | JSWMCWCEZW | 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.26270#PRFW |
| location-scale family | 7TMNFSXS39 | 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.34613#TUCD |
| Locations for evaluation | 5YB4PNV3D8 | 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#NO7P |
| Locations for the retrieval rule | 7A7ED2E5VR | 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#8ZU3 |
| Lochlainn O'Raifeartaigh | YQK12210E0 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1338213, nLab Lochlainn O'Raifeartaigh |
| Lochs' theorem | QKHN2CG8BQ | statement | open | mathlib_1000 Q1576235, Wikidata Q1576235, thousand_plus Q1576235, Wikipedia Lochs's theorem, MathWorld LochsTheorem |
| Locked period with mismatch | SE3WEP4SPX | 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.15686#6QKD |
| Locked state | M8BFE7KJWN | 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.15686#9K31 |
| locking states | EFBX7WFJFA | 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 2210.06147#ELQU |
| locking states of $Q_\sigma f$ | KXN2H28XA9 | 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 2210.06147#TGPV |
| Locking with period mismatch of order $\eps$ | 4299A9X1HZ | 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.15686#VAI9 |
| locus | S041Q5KR1F | unknown | open | Wikidata Q211548, MathWorld Locus |
| Loeschian number | SAA5VGMAFJ | object | open | Wikidata Q56290038, OEIS A003136 |
| log | BBA40W8XPH | unknown | open | mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > power series expansion of elementary functions > log, Mathlib Complex.hasSum_taylorSeries_log |
| Log metric | 6B4WCMR05Y | 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.25468#MXUF |
| Log pairs | BJ529JX5TK | 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.17817#XJN1 |
| Log scale | DM45QD2JCV | 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#9HPL |
| log sine integral | 3TJ9NVP7FT | unknown | open | Wikidata Q134326403, MathWorld LogSineIntegral |
| Log-Concave Distributions | 7MMNPE8FMX | 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.30105#C1RB |
| Log-concave functions | QWRHW8MNCW | 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.21033#M7Y0 |
| Log-concave Holant polytube | S9GN6QDB30 | 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.12456#3D6P |
| Log-Concave Polynomial | TSHRESAGC6 | 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.06724#22PN |
| Log-concave tails | C7GW6ZEPCF | 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.05829#PAR6 |
| Log-concavity | VVQV7VXPVK | conjecture | 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.34260#7ZAC |
| Log-concavity of mixed $Q$-coefficients | XQ2JKRNQPA | 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.29877#7RMF |
| Log-determinant stability | VQB4444S51 | 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.08152#3VG4 |
| Log-free smooth-convex minimax complexity | E8CEZGZ602 | 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.33021#JRS6 |
| Log-free sufficient clean budgets | J08Y1JXDAX | 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#UC6U |
| Log-Harnack inequality | XGJY283DGJ | 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#ZUSR |
| Log-Laplace bound | YYT023WRJK | 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#ALQ6 |