Math 2.0

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.

Rows 301–400 of 1911.

NameIdKindOutcomeSources
Lawvere5PTXWBXVXSconceptopenhott_book index/u1.u5/lawvere
LawvereG8TQNZ1KARconceptopenhott_book index/6.7/lawvere
LawvereH91PEYHSG5conceptopenhott_book index/C/lawvere
LawvereJT37XC63V7conceptopenhott_book index/A.12.3/lawvere
LawvereN5M9YHJ76Rconceptopenhott_book index/B.6/lawvere
LawvereRBPTTD7A7Nconceptopenhott_book index/8.8/lawvere
LawvereXCRYEDMXMJconceptopenhott_book index/C.5/lawvere
LawvereXQ1234W3Z5conceptopenhott_book index/u1.u7/lawvere
Lawvere theoryP7QH3HT6C2unknownopenWikidata Q6505076, nLab Lawvere theory
Lawvere's fixed-point theoremMV2CAC97YPunknownopenWikidata Q15809744, nLab Lawvere's fixed point theorem
Lawvere–Tierney topologySM9CRWSB3AunknownopenWikidata Q30704544, nLab Lawvere-Tierney topology
Lax 2-functorZ55E88MSJ5definitionrecord (an 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.10930#TM66
lax colimitJHTRQ7S3SYconceptopenhott_book index/5.12/lax-colimit
Lax comparison for scalesCEYRPMR2AXstatementrecord (an 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.10930#TRV7
Lax comparison for smallnessTRVFV6DZGPstatementrecord (an 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.10930#WR6Z
lax functor4CYMKY6TVSconceptopenWikidata Q18345526, nLab lax functor
Lax matrixS710PTEV06definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2503.08018#SCZK
lax natural transformationK943ZS2NXSconceptopenWikidata Q25304046, nLab lax natural transformation
lax symmetric monoidal endofunctorATAG18QZWXdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2405.14678#PCKW
Lax–Richtmyer theoremXY4T9EFBQDstatementopenmathlib_1000 Q256303, Wikidata Q256303, thousand_plus Q256303, Wikipedia Lax–Richtmyer theorem
Lax--Milgram theoremN2W18NBKDHstatementopenarXiv 2609.32561#HNZO, mathlib_1000 Q9993851, Mathlib IsCoercive.continuousLinearEquivOfBilin, Wikidata Q9993851, mathlib_overview Analysis > Hilbert spaces > Lax-Milgram theorem, mathlib_undergrad Topology > Hilbert spaces > Lax-Milgram theorem, thousand_plus Q9993851, Wikipedia Lax–Milgram theorem
Lax–Wendroff theoremZ7VMSQAHSDstatementopenmathlib_1000 Q3527110, Wikidata Q3527110, thousand_plus Q3527110, Wikipedia Lax–Wendroff theorem
Layer structure329ZH083R0definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.21337#WJ2C
Layerwise decomposition of the tangent Gram matrix100S33QZ0Estatementrecord (an 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#0B1X
Lazarev9DE7YG2AJYdefinitionrecord (an 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.10078#QD5C
Lazarus FuchsVVRK1V3Z08unknownout_of_scope (a person, not an item of mathematics)Wikidata Q61758, nLab Lazarus Fuchs
lazy caterer's sequence7J0NR9XDWGobjectopenWikidata Q2259070, MathWorld CircleDivisionbyLines, OEIS A000124
lazy list77XDKWW0H4unknownopenmathlib_overview Data structures > List-like structures > lazy list, Mathlib MLList
Lazyness parameterDV3QYHBNFQdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2310.11101#NM56
LCD factorBMRH8PRQF8definitionrecord (an 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.08664#LMBA
LCF notationNZHPWGJDTDconceptopenWikidata Q1797915, MathWorld LCFNotation
LCI distance of configurationsVF29NJ1FV8definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2208.13855#KSC5
LDP Agnostic Proper Learning of GMMs507GTGP48Jstatementrecord (an 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#OV96
LDP amplification via $\varepsilon$-PML post-processing9DVAXJ0ZR3statementrecord (an 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.28297#Z2HH
LDP at logarithmic speedNQ5V5WC8WTstatementrecord (an 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#H0SH
LDP at logarithmic speed for quantum depletionN42YYJMTKPstatementrecord (an 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#9ANU
LDP for $\lambda_{\max}$NZ7Z472R3Rstatementrecord (an 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.25301#479K
LDP for covariant tomography75516S32JGstatementrecord (an 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#OSGT
LDP for seed-induced tomographyMXJN0MWJNPstatementrecord (an 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#21NT
LDP for the empirical measure of clustersS711DFKSEYstatementrecord (an 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#DPOQ
LDP synthetic dataset9MCH709X3Estatementrecord (an 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#MJ46
Le Cam's theorem2RAYX2WHVMstatementopenmathlib_1000 Q3154003, Wikidata Q3154003, thousand_plus Q3154003, Wikipedia Le Cam's theorem, MathWorld LeCamsInequality
Le\,Cam lower boundR43QN6JNF5statementrecord (an 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.00295#7H1C
lead55HKHF0HEWdefinitionopenWikidata Q708, ProofWiki Definition:Lead_(Chemical_Element)
lead-20857VZBVEDABdefinitionopenWikidata Q16670466, ProofWiki Definition:Lead_(Chemical_Element)/208
Leading asymptotics6WZ15H52AXstatementrecord (an 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.10821#E4G9
Leading budget comparisonK2RPRZJSSFstatementrecord (an 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.13789#UBS5
leading coefficient2MDJYMSYR9definitionnode (a node has the same name as the row)Wikidata Q130416821, ProofWiki Definition:Leading_Coefficient_of_Polynomial
Leading complexity at the small-gap scaleRNT24VNP1Xstatementrecord (an 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#7IPE
Leading homogeneous polynomial7Y9HBEZYAWstatementrecord (an 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.26152#PF7A
Leading phase displacementQFJYW4F3KTdefinitionrecord (an 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#U81U
Leading pressure and gradient boundsCJVA0N7VMEstatementrecord (an 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.06544#4JW5
Leading-block combination theoremBNG1A91CTKstatementrecord (an 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.17608#VI3F
Leading-block system of rank $d$PQGN0FNGE0definitionrecord (an 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.17608#X2MO
Leading-coefficient quotient reductionVKB9M114NWstatementrecord (an 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.26110#7F9X
Leading-order approximation5YHJFNBKYAstatementrecord (an 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.10393#5HCY
Leading-side PCA excess boundK7B2MFFWAMstatementrecord (an 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.05388#711X
leaf7ZJ9ZSAKVFconceptopenapplied_combinatorics index/5.1/leaf
leaf vertexEME7WCXM2NunknownopenWikidata Q93721778, MathWorld PendantVertex
Leaf-count concentration and sensitivityWB9JB8V8A7statementrecord (an 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#ICYF
Leaf-count error identity7F92WRXRAQstatementrecord (an 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#GJTD
Leakage and Restricted Marcinkiewicz--Zygmund Constants988A0Q099Tdefinitionrecord (an 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#QA7R
Leakage estimate2CD36R91GVstatementrecord (an 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#O9HO
Leakage Exponent at the End of the SpectrumMJ3Y8RW8NDstatementrecord (an 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#IVVF
LeanTPESPCMYJVunknownopenWikidata Q6509476, nLab Lean
leap yearH6C8138P1AdefinitionopenWikidata Q19828, ProofWiki Definition:Leap_Year
Learning a Galois automorphismH5A6RWJTDRstatementrecord (an 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#UP2C
Learning a geometrically local HamiltonianCHATFKKF10statementrecord (an 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.27181#21CT
Learning a geometrically local Hamiltonian with parallel defectsY0ZJ7EV7MFstatementrecord (an 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.27181#0QDV
Learning a linear or orthogonal mapX3M6F2JKMJstatementrecord (an 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#481X
Learning exponentially decaying fermionic LindbladiansXEBTKC161Astatementrecord (an 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.00448#8Z0K
Learning the bankRJC2GDXF43statementrecord (an 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.12211#WGN0
Learning the exogenous rate with unknown branching ratioDCQCEAB24Sstatementrecord (an 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.38268#JCLX
Learning with geometric updatesNK4DNA65J2statementrecord (an 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#41WV
Least $p$-divisible valuesRNP204XVM8statementrecord (an 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.15262#6I62
Least admissible common baseB546FV3YW1statementrecord (an 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.28649#QYQZ
least common multiple8H8TYKF9QFunknownopenmathlib_overview General algebra > Divisibility in integral domains > least common multiple, Mathlib GCDMonoid.lcm, mathlib_undergrad Ring Theory > Divisibility in integral domains > least common multiple
least common multiplePJX33Z81M4unknownnode (a node has the same Wikidata item as the row)Wikidata Q102761, EoM Least_common_multiple, MathWorld LeastCommonMultiple, nLab least common multiple
Least common multiple (LCM) of denominators of the rows of the triangle of rationals A119935 / A119932 .KV1J9EC2JBobjectopenWikidata Q100193524, OEIS A119936
Least common multiple (LCM) of the first n+1 terms of A000792 .SZ0WRVB9DDobjectopenWikidata Q100194536, OEIS A062723
Least common multiple (or LCM) of {1, 2, ..., n} for n >= 1, a(0) = 1.FSR4B677NRobjectopenWikidata Q100193223, OEIS A003418
Least extremal row for $p^a+1$2D1268Q1CFstatementrecord (an 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.01328#5WZ2
Least full tailZBEZXT3QVJstatementrecord (an 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.15262#0J9T
Least nonnegative solution and a matrix Pincherle principle7QNZQ4WWFBstatementrecord (an 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.26066#2IT4
Least squares9CHV40YYG0examplerecord (an 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.20798#MUDH
least squares method2GTPPA80HQtopicopenWikidata Q74304
Least--term lemmaGSEE0RY6HYstatementrecord (an 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.29605#18H7
Least-noise momentMAJ562R2HZstatementrecord (an 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#GZSJ
Leau , Fatou8N659S131Rstatementrecord (an 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.01520#FOJL
Leave-one-out inequalityWQVCWDJJ2Cstatementrecord (an 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.00501#RP7T
Leave-one-out quantitiesP6ZKZYH55Cdefinitionrecord (an 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.00501#IH2D
Leaving the compact setHT1KC0861Ystatementrecord (an 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.12713#BEVA
LebanonTZH36SF34Runknownout_of_scope (a person, not an item of mathematics)Wikidata Q822, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Lebanon
Lebesgue Constant2EKJTG665Mdefinitionrecord (an 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#R8P2
Lebesgue constants2A6RV190NSunknownopenWikidata Q23058462, MathWorld LebesgueConstants
Lebesgue constants (Fourier series)5RQYC53ST0unknownopenWikidata Q123459622, EoM Lebesgue_constants
Lebesgue covering dimensionY86P8TS991statementopenmathlib_1000 Q164262, Wikidata Q164262, thousand_plus Q164262, Wikipedia Lebesgue covering dimension, MathWorld LebesgueCoveringDimension
Lebesgue covering lemma1MPJTSMWYVconceptopenlebl_ra index/4.4.2/lebesgue-covering-lemma
Lebesgue covering lemma \footnote{Named after the French mathematician \href{https://en.wikipedia.org/wiki/Henri_Lebesgue}{Henri L\'eon Lebesgue} (1875--1941). The number $\delta$ is sometimes called the \myindex{Lebesgue number} of the cover.}ATMFKZ961Tstatementopenlebl_ra ch-metric.tex#ms:lebesgue
Lebesgue differentiation theoremB37G7GBZ5Cstatementopenmathlib_1000 Q2275191, Mathlib VitaliFamily.ae_tendsto_lintegral_div, Wikidata Q2275191, thousand_plus Q2275191, Wikipedia Lebesgue differentiation theorem