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 701–800 of 1911.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Lifting theorem | XJV30H31Y4 | 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#5KYC |
| lifting, equivalences | K0YB83V8AB | concept | open | hott_book index/1.14.1/lifting-equivalences |
| Lifts on the relative special piece | SZ5C72KXVD | 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.16931#KEQY |
| light | HXYMQ8796N | unknown | open | Wikidata Q9128, nLab light |
| light cone | F4D822FD6Z | unknown | open | Wikidata Q1137903, MathWorld LightCone, nLab light cone |
| Light segments shine at the weak-endpoint | 9MQC0471DJ | 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.25449#Q424 |
| Light-Tailed Phase Process | FD6JXNAZ4C | 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.12716#C8ON |
| light-year | CT95QF0SMQ | definition | open | Wikidata Q531, ProofWiki Definition:Astronomical_Distance_Units/Light_Year |
| lightlike four-vector | 5KM2426JJB | unknown | open | Wikidata Q122208650, MathWorld Lightlike |
| Lightly compressible fronts | 36XG7S014S | 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.01883#RT8P |
| Lightly compressible periodic waves | 2FWD8FTHHZ | 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.01883#BN6N |
| Lightly compressible solitary waves | 90PVQ5Z5N3 | 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.01883#J491 |
| Lightly compressible surface water waves | QEBR5V1E8G | 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.01883#GNCW |
| Likelihood and conditional-density regularity | C2YDRYQMK3 | 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.05333#LQAH |
| Likelihood comparison | 4CD2EJW9MQ | 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.27200#KG7T |
| likelihood function | YVXAES9JQV | unknown | node (a node has the same name as the row) | Wikidata Q45284, MathWorld LikelihoodFunction |
| Likelihood ratios | YDF4V795RE | 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.27765#0OL6 |
| Likelihood-ratio process | RE8MTP8FJE | 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#BGWW |
| Likelihood-trained affine flows give Gaussian and linear Fisher information | WKBQ6D87JJ | 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.31544#Q6AJ |
| Likelihood-trained affine flows give Mahalanobis and Gaussian Jeffreys divergence | CJ3ENE4R41 | 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.31544#ZXEZ |
| Likelihood-trained translations give Euclidean, cosine, and correlation distances | 3YR5637JS4 | 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.31544#5V71 |
| Lily Serna | Z584WQ5SWW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6548564, ProofWiki Mathematician:Lily_Serna |
| limaçon | 6B5XTMM816 | concept | open | Wikidata Q733697, MathWorld Limacon |
| liminf | M3GAJ4DMN7 | concept | open | lebl_ra index/10.3.4/liminf |
| liminf | X2G803BP19 | concept | open | lebl_ra index/10.3.1/liminf |
| limit | 3MFJ903S3Z | concept | open | Wikidata Q1322614, nLab limit |
| limit | D9TGP798VK | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q177239, EoM Limit, MathWorld Limit, Wikidata Q33540, nLab limit of a function |
| Limit bound on second moment for anticorrelated noise | TN95FK97R4 | 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 2202.02831#6DSP |
| Limit closure points | 2VQPGNGSGB | 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.09086#EE1T |
| limit comparison test | VKJ081ATBW | statement | node (a node has the same Wikidata item as the row) | Wikidata Q6549441, MathWorld LimitComparisonTest |
| limit cycle | CF5C9VTK8Y | unknown | node (a node has the same name as the row) | Wikidata Q1545916, EoM Limit_cycle |
| Limit dissipation inequality | REEKB91V86 | 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.03242#MLD8 |
| Limit formula | TRX9Q6XN9R | 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.10365#OGHR |
| Limit free energy on a slice | 5EQ5NBRBZ3 | 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.18350#2PWE |
| Limit geodesics with a regular endpoint | VJ5D2VF0AF | 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.05204#P14T |
| limit inferior | RM3QSQCVTC | concept | open | lebl_ra index/10.3.4/limit-inferior |
| limit inferior and limit superior | TEY1AGK81A | unknown | open | Wikidata Q1076611, MathWorld InfimumLimit |
| limit infimum and supremum | QA1HXA9H0C | unknown | open | mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > limit infimum and supremum |
| limit infimum and supremum | V6HSDABX3A | unknown | open | mathlib_overview Topology > Topological algebra > limit infimum and supremum |
| limit of a map with respect to filters | Z48BP63YFD | unknown | open | mathlib_overview Topology > General topology > limit of a map with respect to filters, Mathlib Filter.Tendsto, mathlib_undergrad Single Variable Real Analysis > Real-valued functions defined on a subset of $\R$ > limits, mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > convergence |
| limit of a sequence | KH9EY8G6YZ | definition | node (a node has the same name as the row) | Wikidata Q847204, ProofWiki Definition:Limit_of_Sequence |
| Limit of the partition correction factor | R7SAC904G5 | 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#JE4I |
| Limit of the regularized normalizers | 5CA3S74Q5G | 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#N4S1 |
| limit ordinal | TJTPXYVE2C | definition | open | Wikidata Q2467845, ProofWiki Definition:Limit_Ordinal |
| limit point | 6DR28FCFGD | unknown | open | mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > limit point, Mathlib MapClusterPt |
| limit point | K8MY2ZQJ8P | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q858223, EoM Accumulation_point, MathWorld AccumulationPoint, MathWorld LimitPoint, nLab limit point |
| limit profile | JPBZG73NYG | 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.03728#HADH |
| limit set | TPXM8S6WJG | unknown | open | Wikidata Q1825444, EoM Limit_point_of_a_trajectory |
| limit superior | F5GBVJZ5VD | concept | open | lebl_ra index/10.3.4/limit-superior |
| Limit superior along $\pi$-systems | YNHFDXVQ3H | 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.30410#9LA6 |
| Limit towards interpolation | W86DMYY4ZZ | 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.38453#4ZKQ |
| limit, definition | PCVDA6Y3G8 | concept | open | active_calculus index/1.2.2/limit-definition |
| limit, infinite | S78QE50CHF | concept | open | lebl_ra index/10.3.4/limit-infinite |
| limit, infinite | VBBD3TW02Y | concept | open | lebl_ra index/2.5.2/limit-infinite |
| limit, of a Cauchy approximation | 80ER7FQGC8 | concept | open | hott_book index/B.3.4/limit-of-a-cauchy-approximation |
| limit, of a Cauchy approximation | BN44MEJRJG | concept | open | hott_book index/B.2.2/limit-of-a-cauchy-approximation |
| limit, of a Cauchy approximation | WSNZ814B3T | concept | open | hott_book index/B.5/limit-of-a-cauchy-approximation |
| limit, of a Cauchy approximation | Z2XGW2F1C2 | concept | open | hott_book index/B.3.1/limit-of-a-cauchy-approximation |
| limit, of a function | DXWQARV4GH | concept | open | lebl_ra index/2.1.2/limit-of-a-function |
| limit, of a function at infinity | HQX7ZRK7Y2 | concept | open | lebl_ra index/2.5.1/limit-of-a-function-at-infinity |
| limit, of a function in a metric space | QRYRH0JD8Z | concept | open | lebl_ra index/4.5.5/limit-of-a-function-in-a-metric-space |
| limit, of a sequence in a metric space | H147Z4YW57 | concept | open | lebl_ra index/4.3.1/limit-of-a-sequence-in-a-metric-space |
| limit, of sets | JY0S1Y7BWJ | concept | open | hott_book index/C.1.1/limit-of-sets |
| limit, of sets | V9H66R7RXJ | concept | open | hott_book index/5.9/limit-of-sets |
| limit, of types | 4THYZP7WD4 | concept | open | hott_book index/5.8/limit-of-types |
| limit, of types | 928HJBRFRA | concept | open | hott_book index/1.15/limit-of-types |
| limit, one-sided | Z8K937MD06 | concept | open | active_calculus index/1.7.2/limit-one-sided |
| limited principle of omniscience | DG9PRKXE9F | concept | open | hott_book index/C.5/limited-principle-of-omniscience |
| limited principle of omniscience | RFHG34PS1V | concept | open | hott_book index/B.6/limited-principle-of-omniscience |
| Limiting acceptance probability | SZMX9GQWT6 | 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#YYER |
| Limiting cases | BKGXJ3VS01 | 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.18935#4DS5 |
| Limiting conditional covariance | R2B18SEY91 | 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.13884#AMED |
| Limiting covariance | 3A7XJZZRG9 | 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.21258#0BR6 |
| Limiting distributions of realized coverage | XGJR4CM0YY | 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.33868#1TX0 |
| Limiting ESJD | B62K078FZ8 | 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#NEZ3 |
| Limiting free energy | 681D1HVJ2X | 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.39699#EFO1 |
| Limiting implication | PSZHPMR6HF | 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.00076#NI6T |
| Limiting Newton polygon | 682X21HBEW | 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.05652#P4VH |
| Limiting oracle risks | Q4D10W3MX1 | 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.16845#AVVL |
| Limiting renormalization | J2APYWGW89 | 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#T7TM |
| Limiting spectral bound | A8715Z3HMC | 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.40203#K7TD |
| Limiting spectral distribution | JPW6QCNVCD | 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.14616#TVP0 |
| Limiting spectral distribution | K4WGAMHDER | 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.31919#IAFN |
| Limiting spectral distribution; identity population | H3R0T5W8QZ | 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.16680#2G4K |
| Limiting supremum | 9GYQGGR1QR | 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.27918#04UB |
| Limiting weak-type behavior | 8MKTQ0MEHJ | 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.32387#H2XP |
| limits | X7NMXSKVK2 | unknown | open | mathlib_overview General algebra > Category theory > limits, Mathlib CategoryTheory.Limits.IsLimit |
| Limits of conditional kernels | 26F3HMZ0HW | 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#5ND5 |
| Limits of first-block propagation | KX94P0NYZH | 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.05652#WM82 |
| limits of integration | VBQ5QEEH3T | concept | open | active_calculus index/4.3.2/limits-of-integration |
| Limits of projected Gibbs ensembles | FPA8E1V3S6 | 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.25915#F1MD |
| limits of sequences | VRTKESCABW | unknown | open | mathlib_undergrad Topology > Topology and Metric Spaces > limits of sequences, Mathlib Metric.tendsto_atTop |
| Limits of the low moments | YSJD5JSKB0 | 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#4UDC |
| Limits of the two empirical objects | AKYWS9D1YC | 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.04357#YHSC |
| Limits of the two transforms | 7V9XHXGTFF | 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#JXX7 |
| Limits of the weights | 76CMJ5CG9W | 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#TIXK |
| Limits of Two Functions | FEMZM2RP98 | example | open | active_calculus source/sec-1-2-lim.xml#Ex-1-2-Limits |
| Limits of zero measures | 58K2HTKHYK | 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.19930#9H5R |
| limsup | SWDJBQC09E | concept | open | lebl_ra index/10.3.1/limsup |
| limsup | YKG69FWG4Q | concept | open | lebl_ra index/10.3.4/limsup |