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 101–200 of 1911.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| LAN fidelity transfer | 9WTZFWSVET | statement | record (an 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.35986#LZYR |
| Lance, Davidson | 98YTJCRB10 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2408.03317#E3JR |
| Lanconelli-Morbidelli | WMNWX9GW35 | statement | record (an 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.17863#2TQM |
| Lancret's theorem | Y17GZX35W4 | statement | open | Wikidata Q2226711, MathWorld LancretsTheorem |
| Lanczos algorithm | 2FXQEGXHH0 | concept | open | Wikidata Q366640, MathWorld LanczosAlgorithm |
| Lanczos approximation | VC45D8W4KA | concept | open | Wikidata Q6483801, MathWorld LanczosApproximation |
| Lanczos convergence in terms of starting vector | EZ2C8VJ7C6 | statement | record (an 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.14620#E3PS |
| Landau notation | N2X0WG2NT1 | definition | open | Wikidata Q9050777, MathWorld LandauSymbols, ProofWiki Definition:Landau_Symbols |
| Landau pole | H7NY7TA528 | unknown | open | Wikidata Q4371287, nLab Landau pole |
| Landau prime ideal theorem | E4SY1AM7N8 | statement | open | mathlib_1000 Q6484331, Wikidata Q6484331, thousand_plus Q6484331, Wikipedia Landau prime ideal theorem |
| Landau's constants | YY76TRPHTH | concept | open | Wikidata Q2994932, MathWorld LandauConstant |
| Landau's function | Q0BWV9E23V | unknown | open | Wikidata Q967147, MathWorld LandausFunction, OEIS A000793 |
| Landau's problems | VW49QZXFX9 | problem | open | Wikidata Q2293126, MathWorld LandausProblems, ProofWiki Definition:Landau's_Problems |
| Landau, 1918 | 9PNZXHZP0D | statement | record (an 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.35950#KLRB |
| Landau--Stark identity | RHMQF9XTF4 | statement | record (an 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.16010#JB5C |
| Landau--Stark--Stechkin | 8QMNCN7NH8 | statement | record (an 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.16010#QC67 |
| Landau-type interpolation | QM0FN8G5WW | statement | record (an 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#FF51 |
| Landau–Ramanujan constant | 6YBZWA59GA | object | open | Wikidata Q2641368, MathWorld Landau-RamanujanConstant, OEIS A064533, ProofWiki Definition:Landau-Ramanujan_Constant |
| Landen's transformation | CC3H9586MF | unknown | open | Wikidata Q11347570, MathWorld LandensTransformation |
| Lander, Parkin, and Selfridge conjecture | QXXY75H64Q | conjecture | open | Wikidata Q15427141, MathWorld DiophantineEquation5thPowers |
| Landry--Minsky--Taylor | 5NT7Z9YF65 | statement | record (an 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#NL12 |
| Landry--Minsky--Taylor | 8AFZ940WGP | statement | record (an 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#JWN8 |
| Landsberg–Schaar relation | JDQTPJ63JJ | statement | open | Wikidata Q3147824, MathWorld SchaarsIdentity |
| Landscape near the starting point of a geodesic | TXRFM8R0N1 | statement | record (an 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.39675#4DZ4 |
| Landweber | QMAH14DCSS | statement | record (an 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.01888#P2ID |
| Landweber exact functor theorem | 9GF5YDZKY2 | statement | open | Wikidata Q17003613, nLab Landweber exact functor theorem |
| Lane–Emden equation | ZH9P5KCVPB | unknown | open | Wikidata Q1804812, MathWorld Lane-EmdenDifferentialEquation |
| Lang-Schlichenmaier , Lemma 2.1 | S08ZA80VCF | statement | record (an 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#K7VR |
| Langevin equation | 37GGX05QH3 | unknown | open | Wikidata Q584537, nLab Langevin equation |
| Langford pairing | W2AWKNYWD6 | problem | open | Wikidata Q3503249, MathWorld LangfordsProblem |
| Langlands dual | 768BW656PN | concept | open | Wikidata Q6486188, nLab Langlands dual group |
| Langlands program | VM1FJB7T0C | unknown | open | Wikidata Q1393253, LMFDB knowl lfunction.history.langlands_program, MathWorld LanglandsProgram, nLab Langlands program |
| Langton's ant | WJ3050N02P | unknown | open | Wikidata Q460805, MathWorld LangtonsAnt |
| language | NDRYV88EFY | unknown | open | mathlib_overview Logic and computation > Formal languages > language, Mathlib Language |
| Laplace comparison function | HQ2TC913SF | statement | record (an 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#TKID |
| Laplace distribution | 4N905D56CJ | unknown | open | Wikidata Q671617, EoM Laplace_distribution, MathWorld LaplaceDistribution |
| Laplace estimator | D9RBFZS30E | 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.14615#GFJM |
| Laplace expansion | W893GWV2CW | statement | open | Wikidata Q2044612, MathWorld DeterminantExpansionbyMinors |
| Laplace limit | DKQD14CNVD | object | open | Wikidata Q2994928, MathWorld LaplaceLimit, OEIS A033259 |
| Laplace lower bound | Z2BX4HBHRV | statement | record (an 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#FYW4 |
| Laplace operator | 56VD0HE0E3 | concept | node (a node has the same Wikidata item as the row) | Wikidata Q203484, EoM Laplace_operator, Mathlib InnerProductSpace.laplacianWithin, MathWorld Laplacian, nLab Laplace operator, ProofWiki Definition:Laplacian |
| Laplace operator | CYECH7ST27 | 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 2204.07227#C2UV |
| Laplace slopes | 9JNKE740Q4 | statement | record (an 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#D83F |
| Laplace transform | P5ZB1JKQQ3 | topic | node (a node has the same name as the row) | Wikidata Q199691, EoM Laplace_transform, MathWorld LaplaceTransform, nLab Laplace transform |
| Laplace transform of solutions | ZK9FNCXY4N | statement | record (an 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.24297#J8RD |
| Laplace transform of the Caputo derivative | S79G8B2GVY | statement | record (an 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.06631#91D7 |
| Laplace upper bound | VS9S5ZRK2M | statement | record (an 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#AS1I |
| Laplace's equation | RK69XS1F10 | concept | open | Wikidata Q339444, EoM Laplace_equation, MathWorld LaplacesEquation, ProofWiki Definition:Laplace's_Equation |
| Laplace's method | J7DRN3XHPV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.04407#WLO9 |
| Laplace–Beltrami operator | 5EB8YQ971V | concept | open | Wikidata Q1071846, MathWorld Laplace-BeltramiOperator |
| Laplace–Carson transform | D6RR9JW4ZQ | concept | open | Wikidata Q17043880, MathWorld Laplace-CarsonTransform |
| Laplace–Stieltjes transform | 5RGEA9T0SA | concept | open | Wikidata Q3997728, MathWorld Laplace-StieltjesTransform |
| Laplacian and Laplacian bounds | Y6Z6TW8RJT | 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 2204.04317#E5B3 |
| Laplacian bound for the $f_t$'s | SE2SK81ZDR | statement | record (an 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#8YR0 |
| Laplacian comparison for the squared distance | EQBP7GRS7B | statement | record (an 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#JA1H |
| Laplacian Eigenbasis on the Extended Domain | YM03WYWAWS | 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.13222#AATB |
| Laplacian expansion | EAP42ETHP4 | statement | record (an 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.02714#3C8E |
| Laplacian Flow Characterization of ERP | 880KEM4YB9 | statement | record (an 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.34154#Z097 |
| Laplacian matrix | S7Q1XZCXSM | unknown | open | Wikidata Q772067, MathWorld LaplacianMatrix |
| Laplacian projector movement stability | K055592KNN | statement | record (an 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#MC5G |
| Laplacian-preconditioned operator $=$ multiplication $+$ smoothing | G5RTYJVSCR | statement | record (an 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.20106#3AY8 |
| Lapointe--Vinet | 4T7QAZV617 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.01586#WDM0 |
| Large $\delta$ regime | BS38EK3MS7 | statement | record (an 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.39449#AD6L |
| Large $p$ | FJA9CANWJ5 | statement | record (an 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.37479#LHCR |
| large cardinal | VYC2CN6WV5 | unknown | open | Wikidata Q1548262, nLab large cardinal |
| Large characteristic | Y51DD482GY | 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 2610.07445#PD7T |
| Large components of $\W_{d,r}$ and their representatives | YGHFBQF0DW | 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.25457#XF2U |
| Large curvature and sharp tilt bias coexist | KNT167QYFG | statement | record (an 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.03633#153D |
| Large deviation | STC93493EQ | 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 2303.10636#HSL8 |
| Large deviation principle | 2FYJZKVV5G | statement | record (an 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#8780 |
| Large deviation principle | WB3W8FDPRT | 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.40271#SDAS |
| Large deviations for closed singular cycles | FHCK8RRSJF | statement | record (an 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.27851#K3Q2 |
| large fields | J8YPZEATSJ | statement | record (an 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.09298#C8ZN |
| large gauge transformation | CEJKRMMRZX | unknown | open | Wikidata Q6489148, nLab large gauge transformation |
| Large Hadron Collider | 15NSVC71MT | unknown | open | Wikidata Q40605, nLab LHC |
| Large lags near the three-cycle | JXRPQ63VMR | statement | record (an 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.09912#CDHP |
| Large moments | PXJ2K6BF0X | statement | record (an 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.02436#WQ7G |
| large number | 9PM13J7YNZ | unknown | open | Wikidata Q1816844, MathWorld LargeNumber |
| Large odd parts | KZ6DBKCBFQ | statement | record (an 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.14509#GI8M |
| Large scattering limit, $\fk{a}\to +\infty$ | X9ARGGR55Z | statement | record (an 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#CZ0K |
| large set | ZRTNP593GQ | unknown | open | Wikidata Q6489176, nLab large set |
| Large spherical models are forbidden by subpolynomial norm | D7MC5KAE35 | statement | record (an 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.26619#E1YF |
| Large value estimate | KM7TEZBWXN | statement | record (an 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.01035#UA77 |
| Large value estimates with characters | 97MDVFJN9Z | statement | record (an 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.11487#KYO1 |
| Large values estimates | HSSC4H29NM | statement | record (an 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.09567#NSLJ |
| Large-$n$ decay | P3KZ83EA73 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.22289#GMAE |
| Large-$p$ product-stabilizer energy | 3DPRTWNFY0 | statement | record (an 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.02166#115X |
| Large-amplitude incompressible fronts | E7EF3T0ESH | statement | record (an 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#987O |
| Large-block Gaussian signaling optimality | RP4TGQYDVY | statement | record (an 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.36143#H98J |
| Large-discriminant escape | EYSJ01479Z | 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 2609.33027#3GIQ |
| Large-job contribution | MH5D852H7Q | statement | record (an 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.17329#NCXG |
| Large-position-scale certificate asymptotics | PSDT61DMFD | statement | record (an 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.09356#QV29 |
| Large-time decay and Gaussian asymptotics | 4V0J03NX5P | statement | record (an 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#ZUEB |
| Large-window active flux | 26C2AQNWEE | statement | record (an 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#ZH99 |
| Large-window bootstrap | KN4H1NQMYM | statement | record (an 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#U3IE |
| Larger and higher-precision problems favour it further | K8H9M8V3NF | unknown | open | arXiv 2609.29554#ZRGD |
| Largest common subtree in superlinear preferential attachment trees | E27JTE5KE6 | statement | record (an 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.30098#QYYA |
| largest known prime number | 5D6EC8D8TR | unknown | open | Wikidata Q3240929, MathWorld LargePrime |
| Largest-prime uniform positivity threshold | H2F54BW6Z7 | statement | record (an 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.22305#TYPK |
| Largest-prime-norm decomposition | VVQ6Z4CVRJ | statement | record (an 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.29748#PP5U |