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 1801–1900 of 1911.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Lower max-domain of attraction | AS03YJHYV9 | 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.29658#5NHJ |
| Lower response | A28NNRGMM4 | statement | record (an 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.01843#ME1X |
| Lower semi-continuity | JVHPYFQZ53 | statement | record (an 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#ZNDW |
| Lower semicontinuity | PQV504QGT8 | statement | record (an 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#84ZH |
| Lower semicontinuity and convexity | QS01KHGD3B | statement | record (an 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#XSN7 |
| Lower semicontinuity of the maximal Hilbert norm | K6WSHZNCVH | statement | record (an 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#LI6E |
| Lower semicontinuous regularization | 7E2JSTGWH1 | statement | record (an 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.20542#KWHQ |
| Lower side with a diffusive window | 8DAEPC6PJ1 | statement | record (an 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.00137#A2AG |
| Lower stationary-flow truncation energy | D6NJ43K2BS | statement | record (an 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#BU8P |
| Lower support | SE33760PQX | statement | record (an 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.04189#GF9C |
| lower triangular matrix | 3J3JZWN86P | unknown | node (a node has the same name as the row) | Wikidata Q77968837, MathWorld LowerTriangularMatrix |
| lower triangular matrix | K5CNG74E17 | concept | open | austin_ula index/3.1.4/lower-triangular-matrix |
| Lower {Hausdorff dimension} estimate | C9W07XFQPS | statement | record (an 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.36412#5EUF |
| Lower-barrier audit-relative Newman candidate | F6FD25G84Q | statement | record (an 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#TE09 |
| Lower-level existence and uniqueness | TV52ZHD1ZT | statement | record (an 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#AJL9 |
| Lower-order criterion with bounded density mass | C900K8A1S8 | statement | record (an 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.13613#DMDM |
| Lower-order regularity estimate | HYAT1TND8D | statement | record (an 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.22090#WSVH |
| lowest common denominator | Y59ZNC8PK9 | unknown | open | Wikidata Q2144533, MathWorld LeastCommonDenominator |
| lowest word of \RP | BJ444JW774 | statement | record (an 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.35844#7VFJ |
| Loxodromic element | FDWNJR7C3A | 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.13817#CPC4 |
| Loxodromic Mapping Conjecture | 3ZGATW0WY6 | 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 2610.10558#O7DB |
| Lp space | 2WQ0EVM4WM | definition | open | Wikidata Q305936, ProofWiki Definition:Lp_Space |
| LPP invariance | 2KY61MCGMZ | statement | record (an 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.08135#3LEA |
| LPPL from clustering along a path | SSCVJKMJSV | statement | record (an 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.31858#RNC8 |
| LPPL from clustering of the initial state | DNESCJN3X9 | statement | record (an 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.31858#ZOFI |
| LQG regularity | 2MNFSFGGB5 | statement | record (an 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.36090#3G9T |
| LR bound with unbounded on-site terms | K4PZPBCZ0T | statement | record (an 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.01669#XBEZ |
| LSZ reduction formula | Z3ESPQNQJY | unknown | open | Wikidata Q267449, nLab LSZ reduction formula |
| LTI-SDE-induced kernel | 7KH080R4WY | 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.05856#RXDS |
| LU decomposition | CRTS3W4YNF | unknown | open | mathlib_undergrad Numerical Analysis > Solving systems of linear inequalities > LU decomposition |
| LU decomposition | Z43DVG0BPB | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q833089, MathWorld LUDecomposition |
| Lu's second-gap conjecture | GYS0F2TXJQ | 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.33552#21WC |
| Lu--Zhu | 691BQ8QE42 | statement | record (an 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#QVT9 |
| Luc Illusie | HRSXHGEWFC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q370871, nLab Luc Illusie |
| Luca Mezincescu | 9CC5ZDV0AE | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q95763374, nLab Luca Mezincescu |
| Luca Tagliacozzo | A7FHDTWYDH | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q51508171, nLab Luca Tagliacozzo |
| Lucas chain | JWZY3ERFVQ | unknown | open | Wikidata Q6696364, MathWorld LucasChain |
| Lucas cubic | 5SMQ5AN6MF | unknown | open | Wikidata Q1963352, MathWorld LucasCubic |
| Lucas number | PAKB67PAVP | concept | open | Wikidata Q2503280, MathWorld LucasNumber, OEIS A000032 |
| Lucas pseudoprime | ZYVM2V9A7F | unknown | open | Wikidata Q3343106, MathWorld LucasPseudoprime |
| Lucas sequence | Y07VN7VJQG | concept | open | Wikidata Q1759646, MathWorld LucasSequence |
| Lucas shift | MQ97SYGRJR | statement | record (an 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.05776#PZ2N |
| Lucas's Theorem | J1GYWJE7N2 | statement | node (a node has the same name as the row) | arXiv 2601.15403#2U3O, mathlib_1000 Q1186808, Mathlib Choose.lucas_theorem, Wikidata Q1186808, thousand_plus Q1186808, Wikipedia Lucas's theorem |
| Lucas–Carmichael number | PFWME2AZ30 | object | open | Wikidata Q507937, OEIS A006972 |
| Lucas–Lehmer primality test | W8EFHRPC6M | unknown | node (a node has the same Wikidata item as the row) | mathlib_overview General algebra > Divisibility in integral domains > Lucas-Lehmer primality test, Mathlib lucas_lehmer_sufficiency, Wikidata Q1138992, MathWorld Lucas-LehmerTest |
| Lucien Hardy | 6XNGD7WWH3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6697079, nLab Lucien Hardy |
| lucky number | RDSN2BZT58 | unknown | open | Wikidata Q1428157, MathWorld LuckyNumber, OEIS A000959 |
| lucky numbers of Euler | H10VZ0CFYY | object | open | Wikidata Q3342996, MathWorld LuckyNumberofEuler, OEIS A014556 |
| Ludmil Katzarkov | FX01RQCRM3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1873902, nLab Ludmil Katzarkov |
| Ludvig Faddeev | R9QDK3N9QX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1030228, nLab Ludvig Faddeev |
| Ludwig Boltzmann | ATWHSS25EQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q84296, nLab Ludwig Boltzmann, ProofWiki Mathematician:Ludwig_Eduard_Boltzmann |
| Ludwig Wittgenstein | FJMY2GVTMV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q9391, nLab Ludwig Wittgenstein, ProofWiki Mathematician:Ludwig_Josef_Johann_Wittgenstein |
| Luenberger synchronization map | D0KRDY7EJE | statement | record (an 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.08987#WYCW |
| Luigi Cremona | 6ZJ5WCYC8D | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q548266, ProofWiki Mathematician:Antonio_Luigi_Gaudenzio_Giuseppe_Cremona |
| Luis Álvarez-Gaumé | DWA7811A58 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1876558, nLab Luis Alvarez-Gaumé |
| Lukacs's proportion-sum independence theorem | GBWATET2WY | statement | open | mathlib_1000 Q6701653, Wikidata Q6701653, thousand_plus Q6701653, Wikipedia Lukacs's proportion-sum independence theorem |
| Lumer–Phillips theorem | 3V6TPN91PQ | statement | open | mathlib_1000 Q1602819, Wikidata Q1602819, thousand_plus Q1602819, Wikipedia Lumer–Phillips theorem |
| luminance | EJY6NKXVRA | concept | open | austin_ula index/3.3.2/luminance |
| luminiferous aether | VJA54GYDD2 | definition | open | Wikidata Q208702, ProofWiki Definition:Aether_(Physics) |
| luminous intensity | R0PT5HKQ71 | definition | open | Wikidata Q104831, ProofWiki Definition:Luminous_Intensity |
| Lumped norm equivalence | 8KPAXNYXW3 | statement | record (an 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.05313#XCV9 |
| lunar arithmetic | 2FVMQF8JPN | topic | open | Wikidata Q109298638, ProofWiki Definition:Dismal_Arithmetic |
| lunar month | E0WRPHEBRX | definition | open | Wikidata Q591259, ProofWiki Definition:Time/Unit/Lunar_Month |
| lune | C2MBAYSP4F | unknown | open | Wikidata Q3518248, MathWorld Lune |
| Luo-Schleimer-Tillmann | QPTMKKWY1Z | statement | record (an 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.27635#KSNA |
| Luoshu Square | S6JNZNBJAX | unknown | open | Wikidata Q2482835, MathWorld LoShu |
| Lusin's theorem | JB0PA0HJVT | statement | open | mathlib_1000 Q1361393, Wikidata Q1361393, thousand_plus Q1361393, Wikipedia Luzin's theorem, MathWorld LusinsTheorem |
| Lusztig | GWBPNT82HX | statement | record (an 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.15037#CBPU |
| Luttinger Surgery | 39PKC6MMYS | 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 1911.06467#N3PZ |
| Lutz and Siskind | PY58SF57P3 | statement | record (an 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.14548#IP36 |
| Luxembourg | AE9M7SPGVX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q32, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Luxembourg |
| Luxemburg norm | BTKVG07A1K | 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.26645#51XE |
| Lyapunov central limit theorem | AZ7REZBFMY | statement | open | Wikidata Q20826049, MathWorld LyapunovCondition |
| Lyapunov dimension | B1VF6QXGNA | concept | open | Wikidata Q65076454, MathWorld LyapunovDimension |
| Lyapunov drift condition | M9P5VPTRY5 | statement | record (an 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.02158#0UVN |
| Lyapunov equation for $\ms{KOS}$ | 3GVBAC845A | statement | record (an 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.36334#U01K |
| Lyapunov exponent | 8CZJE59YAE | concept | open | Wikidata Q1238630, MathWorld LyapunovCharacteristicExponent |
| Lyapunov Function | 3YEF7VJNXK | 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.17604#KP50 |
| Lyapunov function | VQWNC7DEJR | unknown | node (a node has the same name as the row) | Wikidata Q2337858, EoM Lyapunov_function, MathWorld LyapunovFunction |
| Lyapunov functions being quadratic, up to a change of coordinates | TNNXHSKH4J | statement | record (an 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#B5OW |
| Lyapunov identities and the symbol | 18WAQHZD9N | statement | record (an 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.18788#JR31 |
| Lyapunov inequality for the observer | 6V36S6GSA6 | statement | record (an 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.36334#Q5U9 |
| Lyapunov Spectrum Invariance | CJ55H6KEQT | statement | record (an 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.27484#RVTG |
| Lyapunov stability | HKZ1AREQ0B | concept | node (a node has the same name as the row) | Wikidata Q1341651, EoM Lyapunov_stability |
| Lyapunov stability as a uniform bound | 918EN71KTK | statement | record (an 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.12434#T8XE |
| Lyapunov Theorem for Local Stability | T61QKP78PC | statement | record (an 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.17604#G66H |
| Lyapunov–Malkin theorem | FQ93NZ7KPY | statement | open | mathlib_1000 Q6707093, Wikidata Q6707093, thousand_plus Q6707093, Wikipedia Lyapunov–Malkin theorem |
| Lychrel number | MGD4RPTTJE | problem | open | Wikidata Q981018, MathWorld LychrelNumber, OEIS A023108 |
| Lyle E. Pursell | GY1M30B8K0 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102128457, nLab Lyle Eugene Pursell |
| LYM inequality | DFW2K8NBV0 | unknown | open | mathlib_overview Combinatorics > Set families > LYM inequality, Mathlib Finset.lubell_yamamoto_meshalkin_inequality_sum_card_div_choose |
| Lyndon 1950 | X08T9EC0Z4 | statement | record (an 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.20932#4W6X |
| Lyndon word | VC6CP1QAD4 | concept | open | Wikidata Q1878827, MathWorld LyndonWord |
| Lyndon-Schützenberger | JQPM2Z433F | statement | record (an 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.18106#300Q |
| Lyons group | N51KJB5WY8 | unknown | open | Wikidata Q3117691, MathWorld LyonsGroup |
| LZ outer codes over the inner logical alphabet | K8JA17C30Y | statement | record (an 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#LB6H |
| Lévy arcsine law | 5YEFCF4JN1 | unknown | open | Wikidata Q6711212, EoM Arcsine_law |
| Lévy C curve | YTPAVCA2W0 | concept | open | Wikidata Q2496499, MathWorld LevyFractal |
| Lévy continuity theorem | SYT6120WS1 | statement | node (a node has the same name as the row) | mathlib_1000 Q1966978, Mathlib MeasureTheory.ProbabilityMeasure.tendsto_iff_tendsto_charFun, Wikidata Q1966978, thousand_plus Q1966978, Wikipedia Lévy continuity theorem |
| Lévy distribution | ZTYECS5TG6 | concept | open | Wikidata Q1042429, MathWorld LevyDistribution |
| Lévy hierarchy | 3F7921QS7S | unknown | open | Wikidata Q6711217, nLab Lévy hierarchy |