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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 401–500 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| $C^1$-Hopf-Rinow | BXMW6SVA5R | 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 2406.06762#95GB |
| $C^\infty$-smooth | AKMMDEGC23 | concept | open | lebl_scv index/2.2/c-infty-smooth |
| $C^k$ cell decomposition | 7WGPAGPKJP | 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.03126#0QTN |
| $C^k$ decompositions | MX454N7M62 | 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.03126#D6LT |
| $C^k$ function | HFA0JPSYAT | unknown | open | mathlib_overview Analysis > Differentiability > $C^k$ function, Mathlib ContDiff, mathlib_undergrad Multivariable calculus > Differential calculus > $k$-times continuously differentiable functions, mathlib_undergrad Single Variable Real Analysis > Differentiability > $C^k$ functions |
| $C^k$-smooth boundary | WQ1K28BKZ7 | concept | open | lebl_scv index/2.2/c-k-smooth-boundary |
| $C^k$-smooth function | RQGV8ND6NC | concept | open | lebl_scv index/1/c-k-smooth-function |
| $C^k$-smooth hypersurface | Q1J4XS1YXR | concept | open | lebl_scv index/2.2/c-k-smooth-hypersurface |
| $C^k$-uniform tangency | 309S2R4ZXH | 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.18078#MPNZ |
| $C^k$-uniform tangency | D4GWXYB185 | 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.18078#DNUV |
| $C^N$-conjugation | 9HQTX32PW3 | 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.01050#OOZ0 |
| $C^N$-linearization | QX885YED51 | 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.01050#UOHB |
| $C^{(1,3)}$ Hawking singularity theorem, version 1 | GGGZZGSY63 | 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#QMJR |
| $C^{(1,3)}$ Hawking singularity theorem, version 1, general $K$ | A5MCW3BKK6 | 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#EHBI |
| $C^{(1,3)}$ Penrose singularity theorem | SQ4GSZ3HES | 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#RK98 |
| $C^{(k,l),\alpha}$ Finsler spacetimes | 6SPNXFQHEK | 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.11911#GINI |
| $C^{(k,l),\alpha}$ Lorentz--Finsler structures | YWH8XMEN9A | 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.11911#LGYJ |
| $C^{(k,l),\alpha}$-regular maps | JJCQM7EKJP | 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.11911#ID7A |
| $C^{(k,l)}$ Lorentz--Finsler structures | Q289DDEPNJ | 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.11911#O8ZW |
| $C^{1,\theta}$ estimates | P2DJHY51XY | 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.32829#U4Y6 |
| $C^{2,\theta}$ estimates | EAQWH70ZEA | 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.32829#UAL6 |
| $C^{2,\theta}$ estimates | ZMZT7SQ3HR | 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.32829#Z8FW |
| $C^{sp'}$-conjecture | 42N8YHSVRP | conjecture | 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.12012#B8RC |
| $C_0$-semigroup | 5843AWWKQR | 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.16094#7HMS |
| $C_5$,$C_6$ | ZA655YQ1P1 | 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 2604.02255#QBRZ |
| $CAR | EXS8KT51X5 | unknown | open | Wikipedia Faustin-Archange Touadéra#OO52 |
| $d = 2, n = 3$ | S72496V5G9 | 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#DMXY |
| $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=1$, node and cusp | 6MKXWK87FV | 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.22557#1TS7 |
| $g=1$, one node, maximal | 1A00YZXBTX | 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.22557#L0J6 |
| $g=2$, one node, maximal | QC156S04ES | 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.22557#3GMR |
| $g=2$, two nodes | VPBG8401KH | 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.22557#6LU9 |
| $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$-deck | 1SAP1VSP77 | 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.23106#CEX2 |
| $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$-medoids | KNJ5DX318C | 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.21985#R11D |
| $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 |