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 29490.

NameIdKindOutcomeSources
$k$-restoration formula88JVZ3R647statementrecord (an 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.21454#GK5W
$k$-restoration mapM4HWVKYMHPdefinitionrecord (an 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.21454#HRW9
$k$-rigidityV3K0F3TTN4definitionrecord (an 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.18992#542Y
$k$-round magic classes4H88XV1VA8definitionrecord (an 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#CXI0
$k$-sorted cloneGXHC77WG93definitionrecord (an 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.12484#1ESX
$k$-sorted composition949R8DVFQEdefinitionrecord (an 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.12484#06IU
$k$-sorted functionMYGSYJNG93definitionrecord (an 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.12484#WB2G
$k$-sorted projectionHRAEREYSYHdefinitionrecord (an 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.12484#QUVF
$k$-sorted relationCADVKRGYZCdefinitionrecord (an 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.12484#IOVE
$k$-sorted set21KJ6B8AN6definitionrecord (an 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.12484#EEQ0
$k$-Stage Variational SchemeP8SNWJ5R4Edefinitionrecord (an 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.25489#NBPC
$k$-substring editNADP12P711definitionrecord (an 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.05696#7ZNY
$k$-sum property and additive triple3YDMBGG38Mdefinitionrecord (an 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.30203#LUKO
$k$-th nearest neighbour distanceEFRFSE3MGSdefinitionrecord (an 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#RU4M
$k$-th order partial derivatives3PH1RPQ58Nunknownopenmathlib_undergrad Multivariable calculus > Differential calculus > $k$-th order partial derivatives
$k$-times continuously differentiable functionH03WW8HG7Sconceptopenlebl_ra index/11.6/k-times-continuously-differentiable-function
$k$-varifold and weight measureE711B3C1DEdefinitionrecord (an 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.24451#90IE
$k$-varifold induced by rectifiable $k$-currentXWJE2XX2YVdefinitionrecord (an 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.24451#T60J
$k=n-1$ and for $k=n-2$TWMSPDFGXAstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2202.10920#JVO4
$K[X]$ is EuclideanEPR5RDPC6Nunknownopenmathlib_overview General algebra > Polynomials and power series > $K[X]$ is Euclidean, Mathlib Polynomial.instEuclideanDomain, mathlib_undergrad Ring Theory > Polynomial rings > $K[X]$ is a Euclidean ring when $K$ is a field
$K^{-1}$-transverse rectangles4G06VWWZ5Ddefinitionrecord (an 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.07909#DLDW
$K_4$ one-bit criterionN923CVM07Vstatementrecord (an 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.10002#QJN8
$K_{2,n}$G7BRKVHBV3examplerecord (an 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.19669#MIRR
$K_{3,m}$ problem64XNPBN0NJproblemrecord (an 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.19669#CWN9
$L$-block lemma, $j=1$DK38C1WGX8statementrecord (an 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.18512#OUNV
$L$-dependent data735ZCVPSWMstatementrecord (an 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#HOVX
$L$-maximizers as limits of $\widecheck L_\varepsilon$-maximizers3GVVEY3G9Pstatementrecord (an 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.11911#MW0B
$L$-maximizers as limits of $\widecheck L_\varepsilon$-maximizers for Cauchy hypersurfacesM5GK6DNTY3statementrecord (an 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.11911#2LCV
$L$-maximizers as limits of $\widecheck L_\varepsilon$-maxmizers for codimension-$2$ surfacesF4DVPEFYJDstatementrecord (an 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.11911#CROD
$L^1$ comparison with a $C^2$ submanifold983QQ91Y0Hstatementrecord (an 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.24716#VC0V
$L^1$ consistencyF68BJSGTMZstatementrecord (an 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#B93W
$L^1$ estimatesEPDHAASV3Hstatementrecord (an 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.06529#Y33W
$L^1$-$L^\infty$ Fourier bound1R77SQ95SXstatementrecord (an 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#2O6X
$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$-bounds for $S(m,g)$ classesNFSPRS0YCXstatementrecord (an 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.21692#X320
$L^p$-bounds for H\"ormander classesA7F9JXNYHGstatementrecord (an 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.21692#H2QO
$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