Math 2.0

Inventory: other names

The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 501–600 of 25924.

NameIdKindOutcomeSources
$L^1$-convergenceK85EYVMVQEconceptopenlebl_ra index/9.2.5/l-1-convergence
$L^1$-integrableAZQ4KN3T4Pconceptopenlebl_scv index/E.1/l-1-integrable
$L^1$-normAD61YN2E70conceptopenlebl_ra index/9.2.5/l-1-norm
$L^1$-trace inequality for free boundary varifolds1W9WAYT1M3statementrecord (an 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.04833#T44W
$L^2$ conditional response-noise bound9FTG3Y5MV1statementrecord (an 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#UK0H
$L^2$ consistency of $\widehat S_{\kappa,n}$TSJS2JJMAHstatementrecord (an 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.06873#Z6I8
$L^2$ functions and Riesz representation2A24T7YF8Junknownopenmathlib_undergrad Distribution calculus > Tempered distributions > $L^2$ functions and Riesz representation
$L^2$ identities with explicit constantAZ5E5BDJZNstatementrecord (an 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#RW4E
$L^2$ normalisation for $m=0$PW6WFJP7K4statementrecord (an 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.26537#PPHM
$L^2$ normalisation for $m\geq1$T8VVXE8N8Kstatementrecord (an 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.26537#2T93
$L^2$ Runge approximation propertyHXGKFH83QVstatementrecord (an 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.17524#U87T
$L^2$ Subspace ApproximationHTR5PXNETNstatementrecord (an 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.26592#5V6V
$L^2$-boundedness385FCZP8K6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2112.14455#DB1A
$L^2$-error estimateQ1K4Y34K34statementrecord (an 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.01504#EB25
$L^2$-estimate for the elliptic projection90WPHMT926statementrecord (an 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.01504#0ZZG
$L^2$-flowD0AN34JPR7definitionrecord (an 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.15511#R1TE
$L^2$-normed $L^\infty$-moduleXF926DFY8Xdefinitionrecord (an 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#2ESQ
$L^2(\Omega)$-energy estimates in $H^2$N0SBFF62T7statementrecord (an 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.24789#ZKR3
$L^\infty$ bound $(u+\varepsilon)^{-1}$CSXM0WDSDQstatementrecord (an 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.08434#KBX9
$L^\infty$ bound $u+\varepsilon$QYPMHW5MYRstatementrecord (an 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.08434#CYIW
$L^\infty$ error of the MoM-KDE under $\alpha$-mixingZKW6ACKXN0statementrecord (an 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.15974#M94Q
$L^\infty$-Fourier boundJ2N0DMV6RJstatementrecord (an 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.12357#VOY4
$L^\infty$-smoothingKA5NQJ8VDAstatementrecord (an 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.08074#0BIG
$L^\varepsilon$-estimate theoremQ807Y3TX48statementrecord (an 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.12430#ILFH
$L^p$ estimateCSM0K1TRBVstatementrecord (an 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.32829#5CGV
$L^p$ functionsXKFJZQYP89unknownopenmathlib_undergrad Distribution calculus > Tempered distributions > $L^p$ functions, Mathlib MeasureTheory.Lp.toTemperedDistributionCLM
$L^p$ space611552CMCWunknownopenmathlib_overview Analysis > Measures and integral calculus > $L^p$ space, Mathlib MeasureTheory.Lp, mathlib_overview Probability Theory > Convergence of a sequence of random variables > $\mathrm{L}^p$ convergence, mathlib_undergrad Measures and integral calculus > Integration > $\mathrm{L}^p$ spaces where $1 ≤ p ≤ ∞$, mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > $\mathrm{L}^p$ convergence
$L^p$-regularity of $u_{f,\bsg}$DBHH1Y6XSBstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2512.08487#4P35
$L^p(\Omega)$-energy estimates in $H^1$VPDE1WHZAQstatementrecord (an 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.24789#05YF
$L^p(\Omega)$-energy estimates in $L^2$H8CGT6J45Zstatementrecord (an 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.24789#5O6W
$L^q$--$L^r$ boundsHG9HB9X5YEstatementrecord (an 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.08074#C617
$L^{s}$-strong solutionEBW8N7XQHHdefinitionrecord (an 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.09494#78MC
$L_1$ duality produces a moment-canceling familySDT814SJKHstatementrecord (an 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.21363#1KPM
$L_1$ Stability of DiscretizationD1J8S8YVY8statementrecord (an 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#JC8C
$L_2$-realization of the conditional pairKXDJ2Z1F5Jstatementrecord (an 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.14906#XW9O
$L_{\Ab}(\bKU)$ is not ultra-commutative17MJTSQ4KMexamplerecord (an 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.21675#AXPD
$M $ large2BPFFYRDGTstatementrecord (an 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.10580#LW3X
$m = 5$: the Desargues configuration as a Pasch hypergraphQX9JCTQTA1examplerecord (an 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.25353#41WK
$M \approx 1 $ and $ 1 \ll \log(L) \ll N$C95FYJWEXNstatementrecord (an 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.10580#8MNT
$M \approx 1 $and $ L\approx 1$PC5QDHAR55statementrecord (an 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.10580#BJ49
$m$-accretive operators7JA2M4G64Edefinitionrecord (an 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.26382#ZYMY
$m$-cartesian structures1GJDQKYF62definitionrecord (an 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.37520#2FZ9
$m$-cocartesian structuresEMKJ4YGZGGunknownopenarXiv 2609.37520#WCXD
$m$-flagABCRZCHKVSdefinitionrecord (an 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.32733#HBQ9
$m$-flag collapses are $(2m{+}1)$-determinedQDQNRR4QKHstatementrecord (an 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.32733#SGPK
$m$-lazy second-order algorithmGDYDCHF44Ndefinitionrecord (an 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.03222#VJLO
$m$E-RCUSUM: $\Psi_{m\text{RC}} (A, a_1, \dots, a_m, \allowbreak N_0, \dots, N_{m - 1}, \mu) = \Psi_{m\text{RC}}$BXY77ZQCW8definitionrecord (an 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.16055#VOI5
$m=4$: Pasch configurations65PHQ0X7MQexamplerecord (an 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.25353#XVYW
$n$ times differentiableYG9Y3AM2BJconceptopenlebl_ra index/3.3.1/n-times-differentiable
$n$-ary Symmetric ChannelHY28KD2PMWexamplerecord (an 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.34570#1I4K
$n$-ary Symmetric ChannelZWV20WC294examplerecord (an 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.34570#OBBX
$n$-bond star graphG9Q1WGPKT8statementrecord (an 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#QYVD
$n$-connected cover34QGY1HNQJdefinitionrecord (an 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.03865#O0T4
$n$-connected objectC5W4JSR8WPdefinitionrecord (an 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.03865#XPLI
$n$-dimensional spaceKZZVG3E75Fconceptopenlebl_diffyqs index/2.1.1/n-dimensional-space
$n$-dimensional vector spaces are isomorphicTG3CSFDTR2statementopennapkin tex/linalg/vector-space.tex#proposition-1
$n$-dimensional volume, Jordan measurable setGGMJB0XG0Kconceptopenlebl_ra index/5.5.1/n-dimensional-volume-jordan-measurable-set
$n$-dimensional volume, rectanglesNH9172DBFYconceptopenlebl_ra index/5.1.1/n-dimensional-volume-rectangles
$n$-fold OR powerH3EZWW8VB9definitionrecord (an 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.08202#56UA
$N$-function and Morse--Transue spaceG1SQCRTS5Cdefinitionrecord (an 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.08074#V020
$N$-smoothed theta function1ZMGMDNXWFdefinitionrecord (an 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#9IQP
$N$-th order damping functionalKT91GWH8Y7definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2601.15010#R7YH
$N$-th order energy functional6101P91HRRdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2601.15010#NTM7
$n$-truncated and $n$-connected morphismFE61BFYBNFdefinitionrecord (an 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.03865#YIQB
$n$-truncated smooth stackPGRHCC8NPBdefinitionrecord (an 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.03865#SK7D
$n$-truncation of stacksSGKAZMAJS0definitionrecord (an 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.03865#Y5B5
$n$-type1EECN16BNTconceptopenhott_book index/9.1/n-type
$n$-type8G8KMNX0G3conceptopenhott_book index/u1.u7/n-type
$n$-typeEWC0VXP50Aconceptopenhott_book index/6/n-type
$n$-type, definable in type theoryXGCEZFPZ5Bconceptopenhott_book index/9.11/n-type-definable-in-type-theory
$n$th derivative233VBK2H98conceptopenlebl_ra index/3.3.1/n-th-derivative
$n$th derivative testRMTK9RKP44conceptopenlebl_ra index/3.3.3/n-th-derivative-test
$n$th order Taylor polynomial3XEBTW52T4conceptopenlebl_ra index/3.3.2/n-th-order-taylor-polynomial
$n=11$, $s=2$SWNRG07V12examplerecord (an 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.20087#BG0T
$n=127$, by congruenceNPR5P560K4statementrecord (an 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.04099#I2RS
$n=127$: a moment criterion, uniform in $p$23BTB4B8AXstatementrecord (an 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.04099#FD0I
$n=127$: a sharp local criterion72B1QYWV1Pstatementrecord (an 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.04099#4EBB
$n=2$, $p=2$: the complete profile4YTADA50TRstatementrecord (an 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#Y0MH
$n=2$, all $p$SZEWRR36Z2statementrecord (an 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#OH2H
$n=2$, odd $p$P2FMJHA9VNstatementrecord (an 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#JOEU
$N=3$, $m=4$A80EQSDG12examplerecord (an 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.36088#9MNT
$n=3$, $r=2$: all seven strataKHC1Q3DJJCexamplerecord (an 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.29683#B23W
$n=3$, $r=3$: nontrivial roots of unity459E8VGVZDexamplerecord (an 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.29683#87HT
$N=4$, $m=13$JN9DD30RM9examplerecord (an 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.36088#AD11
$N=4$, $m=5$A4NQQG2WAKexamplerecord (an 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.36088#ZFT1
$n=4$, $r=2$: $z\ge2$ combined with nontrivial $\mu$SD6GWCSJ6Eexamplerecord (an 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.29683#L0MS
$n=4$, $r=2$: a non-extremal partitionGXPP1TYTCMexamplerecord (an 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.29683#B0KO
$N=6$, $m=8$JCA2CFKW1Dexamplerecord (an 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.36088#NMSK
$N=6$, $m=8$VBMS882BVYexamplerecord (an 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.36088#R5UP
$N=8$, $m=10$5NEMV11PBBexamplerecord (an 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.36088#27OJ
$O(1)$ KL error for ASL-TAP8EP6XCDH3Qstatementrecord (an 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.30590#P7K2
$p$-adic Gauss-Green identityC7D6QRMWVYstatementrecord (an 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.26180#YHKK
$p$-adic inhomogeneous Littlewood239T6N74HQconjecturerecord (an 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.15809#NITU
$p$-adic integerKFTRRNHCK1unknownopenmathlib_overview General algebra > Numbers > $p$-adic integer, Mathlib PadicInt
$p$-adic LittlewoodC6W13DK94Xconjecturerecord (an 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.15809#QZKX
$p$-adic subspace theoremZ1TGC0RCH3statementrecord (an 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.25703#MSUR
$p$-Caccioppoli inequalities and reverse H\"older inequalitiesZQX1FKABE2statementrecord (an 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.29712#UALO
$p$-capacity of $\mathcal I_u$ and $\mathcal S_u$WCFCCZXNZBstatementrecord (an 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#G7FS
$p$-Cheeger energyP81CZ9AYNRdefinitionrecord (an 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#W1VY
$p$-D'AlembertianD9Y5K98RSGdefinitionrecord (an 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#QUV2