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.
- 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 401–500 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| $d$-dimensional Euclidean space | TEZWJB5PR1 | 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.28297#U3BC |
| $d$\textbf{-Dirichlet convolution | PS9CM7C6FG | 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.14266#G8EY |
| $d(h,h')$ | XF3ZXDNT04 | 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#3IJZ |
| $d=3, n = 6$ | TTBWK86P38 | 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 2409.03730#B4OV |
| $D^L$ eigenvalue-free interval | FK2YJY1FEX | 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.13429#F7CW |
| $D^Q$ eigenvalue-free interval | EF8BZJZ3J2 | 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.13429#DKA8 |
| $D_4(a_1)$ in type $E_6$ | HWR1BDMJ49 | 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.16931#1KFJ |
| $D_\b$ metric | HZDJYCR492 | 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.10875#ZH4V |
| $e$-$m$ exchanging symmetry | EC36T893PD | 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.02097#B1A5 |
| $e$-$m$ exchanging symmetry on the $\mathbb{Z}_N$ toric code | HYQ94TS3FH | 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.02097#9SNW |
| $E'^2$ moment formula | EA7FXSRCVN | 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.34016#RRWS |
| $e^x \ge 1+x$ | BA84GEKB0B | statement | open | napkin tex/calculus/differentiate.tex#proposition-2 |
| $E_2$ refinement | V4E4RBM3C5 | 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#4E7C |
| $f$ belongs to the parabolic space | Y1KCC874ZY | 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.08434#RZSC |
| $f$ is locally bounded | 3B99N5STR6 | 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.08434#IZDZ |
| $f$-compatibility degree | TT44ZE0MCC | 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.30637#I629 |
| $f$-diagonal tensor | CBRF0TRFY6 | 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 2505.04063#6FGW |
| $f$-divergences | CC15Q72RF5 | 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.31607#9PAV |
| $f$-pullback | YAAJF236YA | 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.15099#WAON |
| $F$-singularity consequences | DJJP1R0FN5 | 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.07092#6HHI |
| $F_4(a_3)$ | Y77KWP9BK8 | 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.16931#MLO2 |
| $f_\sharp$ is homotopy invariant | Z9QXMAFZZX | statement | open | napkin tex/topology/fundamental-group.tex#lem:fsharp_homotopy_invariant |
| $G$ encodes distinct real numbers | B8Y9C0A6NZ | statement | open | napkin tex/set-theory/CH.tex#lemma-1 |
| $G$-balanced exchange matrix | 3M41G71CG6 | 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.03612#HEJZ |
| $G$-graded seed | 9DWKTYYTVM | 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.03612#NP0C |
| $G$-gradings on cluster variables | PVB6AP9ZNP | 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.03612#DM2E |
| $G$-invariant Erd\H{o}s--Hanani theorem | 1Z8WT9XKNW | 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.10973#61U4 |
| $G$-structures, c.f. | SFEG6K5RWR | 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.28514#1TDB |
| $G$-Zips, \S 1.1 | 8XE8YXG8CM | 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.33808#K1YE |
| $g^\sigma_N$ as an energy meta-well | KNV33P1R5A | 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 2210.06147#R3FM |
| $G_2(a_1)$ | R3WJ85TM11 | 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.16931#C301 |
| $G_W$-invariance | 381BRDMDSY | unknown | open | arXiv 2609.33442#GAVR |
| $H^1$ error estimate for nodal interpolant | BVAZ5VD6FS | 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 2602.14912#XE52 |
| $H^1$ estimate for $\P$ | CBK6060TK9 | 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.08434#ANCH |
| $H^1$ estimate for $\p$, $L^4$ bound on $\nabla \rho$ | 5TMJEC2H04 | 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.08434#ZYIK |
| $H^1_0$--controllability, $n=2,3$ | FWN2WX9AQR | 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#OSPU |
| $H^1_0([0,1])$ and its application to the one-dimensional Dirichlet problem | A4JZCTKXEJ | unknown | open | mathlib_undergrad Topology > Hilbert spaces > $H^1_0([0,1])$ and its application to the one-dimensional Dirichlet problem |
| $H^2$ estimate | 9YNEWYXBD0 | 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#63I3 |
| $H^2$ estimate for $\dot\p$ | Y6QC3TTFD4 | 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.08434#PXVV |
| $H^2$ estimate for $f$ | A7Q2KPH0N9 | 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.08434#RLYS |
| $H^2_D$--controllability, $n=2,3$ | R4BGTE1H0F | 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#Q6YR |
| $H^\infty$ logarithmic cascades | P5YTKDCD2T | 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.27813#X6FE |
| $H^n (-;G): \catname{hTop}\op \to \catname{Grp}$ | 2SCZZ2NVPR | statement | open | napkin tex/homology/cohomology.tex#theorem-1 |
| $H^{m-1}$-regularity of velocity change | A7W3YPA2NN | 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 2410.06788#48KS |
| $H_0$-faithfulness (component agreement | 14798GDSEM | 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.01937#0HPN |
| $H_\infty$ fixed-$\gamma$ design: exact gradient | 63MY6MH8SC | 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.36090#JPFC |
| $H_\infty$ minimal-$\gamma$ design: a subgradient | CF6YHHWAFT | 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.36090#CM66 |
| $h_I$ eventually constant when $\dim \Vp(I) = 0$ | PNNK6SV88C | statement | open | napkin tex/alg-geom/bezout.tex#corollary-1 |
| $H_k$, $V_{\ell}$, and $L_{(\ell,k)}$ notation | STD4W26ETB | 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 2401.13523#7YXE |
| $H_n(X, A)$ where $A$ is open in $X$ | Q477MJA8Z2 | example | open | napkin tex/homology/excision.tex#example-1 |
| $H_Q^2$ equivalence | W37211Z3BS | 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#7P8F |
| $H_x^3$ regularity | DD1EMSNZHT | 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.28454#PBYK |
| $H_{x}^{3}$ regularity | CQ8VWV1M6G | 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.28454#ABER |
| $I_{\beta, \gamma}$ divergence | 66986AFQ8S | 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#JCUB |
| $J$-barrier | JJZZR2FNKY | 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.26340#OFNZ |
| $j$-stratum | CN4Y4R3NQ3 | 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.09596#9D75 |
| $K = \QQ \cdot \OO_K$ | H9WA4V5R36 | statement | open | napkin tex/alg-NT/norm-trace.tex#thm:rationalize_denom |
| $K$ is regular over $k$; base change of $\tgen$ | V3V8ZNHYAY | 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.07508#NMPB |
| $k$-canonical weight | 8JQV548HH2 | 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.21454#94WG |
| $k$-current | V1EVQG5AAA | 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.24451#GRGS |
| $k$-indecomposable weighted design | 8B9VP6V5VJ | 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.04136#4GEB |
| $k$-linear forms condition | QHW0ZDX55H | 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.29653#WAJT |
| $k$-loaded $2$-core reduction | 29B9PYM57D | 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.21454#W6UY |
| $k$-loaded core weight | VAQ6MYX3RM | 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.21454#8OC2 |
| $k$-Lucas H\"older sandwich | BTWVASGCPN | 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.33573#OT6E |
| $k$-pseudosymmetric | YC29BMBYWK | 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.12484#T6DQ |
| $K$-pyramid | 6B2T0K8CPF | 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.26262#PIIB |
| $k$-restoration formula | 88JVZ3R647 | 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.21454#GK5W |
| $k$-restoration map | M4HWVKYMHP | 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.21454#HRW9 |
| $k$-rigidity | V3K0F3TTN4 | 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.18992#542Y |
| $k$-round magic classes | 4H88XV1VA8 | 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.02166#CXI0 |
| $k$-sorted clone | GXHC77WG93 | 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.12484#1ESX |
| $k$-sorted composition | 949R8DVFQE | 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.12484#06IU |
| $k$-sorted function | MYGSYJNG93 | 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.12484#WB2G |
| $k$-sorted projection | HRAEREYSYH | 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.12484#QUVF |
| $k$-sorted relation | CADVKRGYZC | 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.12484#IOVE |
| $k$-sorted set | 21KJ6B8AN6 | 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.12484#EEQ0 |
| $k$-Stage Variational Scheme | P8SNWJ5R4E | 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.25489#NBPC |
| $k$-substring edit | NADP12P711 | 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.05696#7ZNY |
| $k$-sum property and additive triple | 3YDMBGG38M | 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.30203#LUKO |
| $k$-th nearest neighbour distance | EFRFSE3MGS | 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.06873#RU4M |
| $k$-th order partial derivatives | 3PH1RPQ58N | unknown | open | mathlib_undergrad Multivariable calculus > Differential calculus > $k$-th order partial derivatives |
| $k$-times continuously differentiable function | H03WW8HG7S | concept | open | lebl_ra index/11.6/k-times-continuously-differentiable-function |
| $k$-varifold and weight measure | E711B3C1DE | 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.24451#90IE |
| $k$-varifold induced by rectifiable $k$-current | XWJE2XX2YV | 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.24451#T60J |
| $k=n-1$ and for $k=n-2$ | TWMSPDFGXA | 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 2202.10920#JVO4 |
| $K[X]$ is Euclidean | EPR5RDPC6N | unknown | open | mathlib_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 rectangles | 4G06VWWZ5D | 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.07909#DLDW |
| $K_4$ one-bit criterion | N923CVM07V | 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.10002#QJN8 |
| $K_{2,n}$ | G7BRKVHBV3 | 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.19669#MIRR |
| $K_{3,m}$ problem | 64XNPBN0NJ | 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 2610.19669#CWN9 |
| $L$-block lemma, $j=1$ | DK38C1WGX8 | 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.18512#OUNV |
| $L$-dependent data | 735ZCVPSWM | 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.12873#HOVX |
| $L$-maximizers as limits of $\widecheck L_\varepsilon$-maximizers | 3GVVEY3G9P | 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.11911#MW0B |
| $L$-maximizers as limits of $\widecheck L_\varepsilon$-maximizers for Cauchy hypersurfaces | M5GK6DNTY3 | 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.11911#2LCV |
| $L$-maximizers as limits of $\widecheck L_\varepsilon$-maxmizers for codimension-$2$ surfaces | F4DVPEFYJD | 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.11911#CROD |
| $L^1$ comparison with a $C^2$ submanifold | 983QQ91Y0H | 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.24716#VC0V |
| $L^1$ consistency | F68BJSGTMZ | 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.15974#B93W |
| $L^1$ estimates | EPDHAASV3H | 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.06529#Y33W |
| $L^1$-$L^\infty$ Fourier bound | 1R77SQ95SX | 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.26537#2O6X |