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 801–900 of 1911.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Lin's Problem 1 | AYN7R5WQR5 | 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.01324#P1UK |
| Lin--Lu--Yau curvature | EM2A1GVZNF | 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.10559#VQHL |
| Linas Vepstas | HC5JZQGAZN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q61131517, nLab Linas Vepstas |
| Lindeberg CLT | 2DHXF1TK08 | 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#IJIN |
| Lindeberg's central limit theorem | 9JB2E9NGSH | statement | open | Wikidata Q25377942, MathWorld Lindeberg-FellerCentralLimitTheorem |
| Lindeberg's condition | X1WMNQE0A5 | statement | open | Wikidata Q1825985, MathWorld LindebergCondition |
| Lindelöf hypothesis | 5KVX376ZV0 | conjecture | open | Wikidata Q911528, ProofWiki Lindelöf_Hypothesis |
| Lindelöf space | AY18D5Q4EP | definition | open | Wikidata Q936155, EoM Lindelöf_space, nLab Lindelöf topological space, ProofWiki Definition:Lindelöf_Space |
| Lindelöf's lemma | RDXC99E34S | statement | open | Wikidata Q6552215, ProofWiki Lindelöf's_Lemma |
| Lindelöf's theorem | Z5WSFDVF0S | statement | open | mathlib_1000 Q4454973, Wikidata Q4454973, thousand_plus Q4454973, Wikipedia Lindelöf's theorem |
| Lindemann–Weierstrass theorem | JQMH9CWW3H | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1572474, Wikidata Q1572474, thousand_plus Q1572474, Wikipedia Lindemann–Weierstrass theorem, MathWorld Lindemann-WeierstrassTheorem |
| Lindenbaum lemma | W9DGK9GXF8 | 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.27078#DA1V |
| Lindenbaum's Lemma | GQNB5P4NWW | statement | open | open_logic content/intuitionistic-logic/soundness-completeness/lindenbaum.tex#lem:lindenbaum |
| Lindenbaum's Lemma | KG6R6EQXY2 | statement | open | open_logic content/normal-modal-logic/completeness/lindenbaums-lemma.tex#thm:lindenbaum |
| Lindenbaum's Lemma | QGC8TD2ZGV | statement | open | open_logic content/first-order-logic/completeness/lindenbaums-lemma.tex#lem:lindenbaum |
| Lindstr\"om's Theorem | 6GV4EYS85A | statement | open | open_logic content/model-theory/lindstrom/lindstrom-proof.tex#thm:lindstrom |
| Lindström's theorem | 2Q5GP7RNFK | statement | open | mathlib_1000 Q2379128, Wikidata Q2379128, thousand_plus Q2379128, Wikipedia Lindström's theorem, nLab Lindström's theorem |
| line | BK370B11HS | definition | node (a node has the same Wikidata item as the row) | Wikidata Q37105, EoM Line_(curve), MathWorld Line, ProofWiki Definition:Line |
| Line and Plane | 7903GG1BCG | 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.10365#1ZRN |
| Line bound | Y267EPYB84 | 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.31689#QLC1 |
| line bundle | 306A5QFPWP | unknown | open | Wikidata Q1509762, nLab line bundle |
| Line bundle degree | 9MWFZQD1X6 | unknown | open | arXiv 2609.33442#04UG |
| Line deletion estimate | QSVE34SGVF | 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.37704#X10I |
| line graph | 3SE558VTD3 | unknown | open | Wikidata Q1378376, EoM Line_graph, MathWorld LineGraph |
| line integral | 82CZ9A1EVM | unknown | open | Wikidata Q467699, nLab line integral |
| line integral | DNZR8BZR08 | unknown | open | mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > line integral |
| line integral of a scalar field | Q3A3V4F47C | unknown | node (a node has the same name as the row) | Wikidata Q116784211, MathWorld PathIntegral |
| line integral of a vector field | AM3D91QXSK | unknown | node (a node has the same name as the row) | Wikidata Q116784237, MathWorld LineIntegral |
| line of curvature | B9K2CT9EQQ | unknown | open | Wikidata Q132444984, MathWorld LineofCurvature |
| line segment | VF9EYVZXSK | unknown | open | Wikidata Q166154, EoM Segment, MathWorld LineSegment |
| Line-bundle vanishing | 25AG6GKGV9 | 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#YEGB |
| linear algebra | 7GRAS58WAF | topic | open | Wikidata Q82571, EoM Linear_algebra, MathWorld LinearAlgebra, nLab linear algebra |
| Linear and affine maps over a finite field | ZD5J3JWBQD | 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.18154#Q9GQ |
| Linear and affine widths | AP1Q0GBXEY | 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.12017#K321 |
| linear arboricity | K5JGG7Q1J2 | unknown | open | Wikidata Q25303647, MathWorld LinearArboricity |
| Linear arcs and exact quadratic obstructions | MVA0ZR0R0S | 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.20649#5VPP |
| Linear Boltzmann preference | M6W3F91ZXJ | 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.15690#BA69 |
| Linear bound for Hilbert-factorable observables | VAHY2AM0VG | 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.11002#16P3 |
| Linear bound for vanishing order | 2Z0ZNAZX29 | 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.09295#HFUO |
| Linear Classifier (Halfspaces | YS3RM382K7 | 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.27241#JKHY |
| linear code | DVNEQ5AJR7 | definition | open | Wikidata Q1752667, MathWorld LinearCode, nLab linear code, ProofWiki Definition:Linear_Code |
| linear combination | AW41B4D2VT | unknown | node (a node has the same name as the row) | Wikidata Q27628, MathWorld LinearCombination, nLab linear combination |
| linear combination | BQNXNS74VY | concept | open | austin_ula index/2.1.2/linear-combination |
| Linear combination of block encodings, cf. Lemma 52 in Ref. | MNXAHV08ZR | 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.39992#EXFT |
| Linear combinations and linear systems | BWXG35ZN7P | exercise | open | austin_ula src/section2-1.xml#activity-2 |
| linear congruence theorem | 4DK6XPV177 | concept | open | Wikidata Q524257, MathWorld LinearCongruenceEquation |
| Linear consistency for mass-lumped Poisson problems | Y5SEE31N31 | 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#40QP |
| Linear controllability | KR2P9FH5JS | 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.11968#OT3O |
| Linear convergence of inexact PMD under LFA | 76QA6BT1NV | 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.04117#XDH4 |
| Linear convergence of inexact PMD under LFA | NQ439YS0RZ | 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.04117#4LUT |
| Linear convergence of tabular inexact PMD | NQPNZP89DM | 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.04117#TTNR |
| Linear convergence of tabular inexact PMD | VT7K0GCJ92 | 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.04117#L8HV |
| Linear convergence under the Riemannian Polyak-\L ojasiewicz inequality | R2BCNNNTPS | 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.32997#WXPD |
| linear covariance | MJXZKHTQZ8 | 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.26286#DX26 |
| Linear crossing defect | PEZ6T9Y09K | 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.37208#6G5E |
| Linear decomposition | NCY376DDSV | 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.12576#AENS |
| Linear dependence cannot be removed | N9ZH5XN7X8 | 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.40077#T9GW |
| linear difference equation | VY82R633JM | topic | node (a node has the same Wikidata item as the row) | Wikidata Q364089, Mathlib LinearRecurrence |
| linear differential equation | ZWF3V136Y3 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1129902, nLab linear differential equation |
| linear differential systems | WSTVJ3GYZR | unknown | open | mathlib_undergrad Multivariable calculus > Differential equations > linear differential systems |
| linear diophantine equation | MT1PQTZ5T3 | definition | node (a node has the same name as the row) | Wikidata Q3730870, MathWorld LinearDiophantineEquation, ProofWiki Definition:Diophantine_Equation/Linear_Diophantine_Equation |
| linear diophantine equation | ZHT8HN8M95 | concept | open | applied_combinatorics index/3.5.1/linear-diophantine-equation |
| Linear dipole | SNGE9N238B | 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.33805#02M6 |
| linear equation | 88XZ16FSHC | concept | open | austin_ula index/1.1.2/linear-equation |
| linear equation | BXNXZ86F2Z | concept | open | lebl_diffyqs index/6.1/linear-equation |
| linear equation | E8TJ2QYVQK | unknown | node (a node has the same name as the row) | Wikidata Q484637, MathWorld LinearEquation, nLab linear equation |
| linear equation | S2GKR3BFGX | concept | open | lebl_diffyqs index/6.9/linear-equation |
| linear equation | TT0WAXSHC8 | concept | open | lebl_diffyqs index/4.4/linear-equation |
| Linear equations and their solutions | R6D399MCD2 | exercise | open | austin_ula src/section1-1.xml#activity-2 |
| Linear equations in primes in short intervals of exponent $3/5$ | SMBF80RDQQ | 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#YXTI |
| Linear estimate | 6D7ZZPMR9J | 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.02721#1TPC |
| Linear estimate in Hyperbolic group | 85CQEZFJ3B | 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.19787#VQ75 |
| Linear estimates | 6M7FSSY3EV | 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.18797#BJOA |
| Linear estimates | 7XGJ4H126S | 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.28009#4DQT |
| linear extension | 497G0EX93S | concept | open | applied_combinatorics index/6.4/linear-extension |
| linear extension | Y3JENEDF0B | concept | open | applied_combinatorics index/6/linear-extension |
| Linear Frobenius rigidity | HF59APG1ZG | 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.26269#HBPE |
| linear function | ZMA2NPWH52 | unknown | open | Wikidata Q188597, MathWorld LinearFunction |
| Linear functional | FWRCHEW1SB | 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.37074#O33I |
| linear functional | TSPK0SFKEC | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q261527, MathWorld LinearFunctional, nLab linear functional |
| Linear gap | MVMKJA1WTY | 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#GOHH |
| linear independence | AZ5HVG89CT | concept | node (a node has the same Wikidata item as the row) | Wikidata Q27670, EoM Linear_independence, MathWorld LinearlyIndependent |
| linear independence | PQ3GJ9YJ09 | unknown | open | mathlib_undergrad Linear algebra > Fundamentals > linear independence, Mathlib LinearIndependent |
| Linear independence across all parameter contributions | N6TAS75GD2 | 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#IPYP |
| Linear independence and homogeneous equations | HT2MNT0X9Q | exercise | open | austin_ula src/section2-4.xml#activity-2 |
| linear isomorphism | MKEA6K8T3F | definition | node (a node has the same name as the row) | Wikidata Q77873528, nLab linear isomorphism, ProofWiki Definition:Isomorphism_(Abstract_Algebra)/R-Algebraic_Structure_Isomorphism/Vector_Space_Isomorphism |
| Linear IV regression | EQ0JSSNYSK | 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.12873#NYIT |
| linear logic | 564A700RFT | unknown | open | Wikidata Q841728, nLab linear logic |
| linear map | 755KSG8M09 | unknown | open | mathlib_overview Linear algebra > Fundamentals > linear map, Mathlib LinearMap, mathlib_undergrad Linear algebra > Fundamentals > linear map |
| linear map | W8CTE4H7PP | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q207643, EoM Linear_function, MathWorld LinearTransformation |
| linear mapping | C4SRJJ2MWH | concept | open | lebl_diffyqs index/2.1.2/linear-mapping |
| Linear maps, continued | 6C3HBRFR9V | 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.18154#YVXX |
| linear multistep method | NMF8VF5W9X | unknown | open | Wikidata Q1462003, MathWorld AdamsMethod |
| Linear objectives and an entropy-maximizing law | WHHR8W3009 | 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#4QRD |
| linear operator | A2DPB8ADD1 | unknown | open | Wikidata Q1826450, MathWorld LinearOperator |
| linear operator | TM80KNR05G | concept | open | lebl_diffyqs index/6.1/linear-operator |
| Linear order | 1MHF3V12WT | definition | open | open_logic content/sets-functions-relations/relations/orders.tex#def:linearorder |
| linear order | KB353W5PRG | concept | open | hott_book index/B.2.1/linear-order |
| linear PDE | VZTT6HMK7M | concept | open | lebl_diffyqs index/5.6/linear-pde |
| Linear prediction for a fixed soft abstraction | TSTKRFDPT5 | 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.32652#IY9J |