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 601–700 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| $n$-truncation of stacks | SGKAZMAJS0 | 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.03865#Y5B5 |
| $n$-type | 1EECN16BNT | concept | open | hott_book index/9.1/n-type |
| $n$-type | 8G8KMNX0G3 | concept | open | hott_book index/u1.u7/n-type |
| $n$-type | EWC0VXP50A | concept | open | hott_book index/6/n-type |
| $n$-type, definable in type theory | XGCEZFPZ5B | concept | open | hott_book index/9.11/n-type-definable-in-type-theory |
| $n$th derivative | 233VBK2H98 | concept | open | lebl_ra index/3.3.1/n-th-derivative |
| $n$th derivative test | RMTK9RKP44 | concept | open | lebl_ra index/3.3.3/n-th-derivative-test |
| $n$th order Taylor polynomial | 3XEBTW52T4 | concept | open | lebl_ra index/3.3.2/n-th-order-taylor-polynomial |
| $n=11$, $s=2$ | SWNRG07V12 | 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.20087#BG0T |
| $n=127$, by congruence | NPR5P560K4 | 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.04099#I2RS |
| $n=127$: a moment criterion, uniform in $p$ | 23BTB4B8AX | 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.04099#FD0I |
| $n=127$: a sharp local criterion | 72B1QYWV1P | 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.04099#4EBB |
| $n=2$, $p=2$: the complete profile | 4YTADA50TR | 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.09298#Y0MH |
| $n=2$, all $p$ | SZEWRR36Z2 | 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.09298#OH2H |
| $n=2$, odd $p$ | P2FMJHA9VN | 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.09298#JOEU |
| $N=3$, $m=4$ | A80EQSDG12 | 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.36088#9MNT |
| $n=3$, $r=2$: all seven strata | KHC1Q3DJJC | 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.29683#B23W |
| $n=3$, $r=3$: nontrivial roots of unity | 459E8VGVZD | 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.29683#87HT |
| $N=4$, $m=13$ | JN9DD30RM9 | 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.36088#AD11 |
| $N=4$, $m=5$ | A4NQQG2WAK | 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.36088#ZFT1 |
| $n=4$, $r=2$: $z\ge2$ combined with nontrivial $\mu$ | SD6GWCSJ6E | 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.29683#L0MS |
| $n=4$, $r=2$: a non-extremal partition | GXPP1TYTCM | 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.29683#B0KO |
| $N=6$, $m=8$ | JCA2CFKW1D | 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.36088#NMSK |
| $N=6$, $m=8$ | VBMS882BVY | 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.36088#R5UP |
| $N=8$, $m=10$ | 5NEMV11PBB | 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.36088#27OJ |
| $O(1)$ KL error for ASL-TAP | 8EP6XCDH3Q | 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.30590#P7K2 |
| $p$-adic Gauss-Green identity | C7D6QRMWVY | 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.26180#YHKK |
| $p$-adic inhomogeneous Littlewood | 239T6N74HQ | 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.15809#NITU |
| $p$-adic integer | KFTRRNHCK1 | unknown | open | mathlib_overview General algebra > Numbers > $p$-adic integer, Mathlib PadicInt |
| $p$-adic Littlewood | C6W13DK94X | 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.15809#QZKX |
| $p$-adic subspace theorem | Z1TGC0RCH3 | 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.25703#MSUR |
| $p$-Caccioppoli inequalities and reverse H\"older inequalities | ZQX1FKABE2 | 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.29712#UALO |
| $p$-capacity of $\mathcal I_u$ and $\mathcal S_u$ | WCFCCZXNZB | 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.25449#G7FS |
| $p$-Cheeger energy | P81CZ9AYNR | 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.21775#W1VY |
| $p$-D'Alembertian | D9Y5K98RSG | 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.21775#QUV2 |
| $P$-hop bridge | VDY8Y8KCE3 | 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.08152#7OQC |
| $p$-restriction | 6CC1ZYDQY4 | 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 1806.05002#UPMO |
| $p$-series | WR1KFKHVAQ | concept | open | lebl_ra index/10.5.5/p-series |
| $p$-series or the $p$-test | T68DBWB11X | statement | open | lebl_ra ch-seq-ser.tex#prop-15 |
| $p$-test | 56XX1Z6GW2 | concept | open | lebl_ra index/10.5.5/p-test |
| $p$-test for integrals | B0RFSWS701 | statement | open | lebl_ra ch-riemann.tex#impropriemann:ptest |
| $p$-test for integrals | Q702MRK5C3 | concept | open | lebl_ra index/8.5/p-test-for-integrals |
| $p$-th variation along $\pi$ | C9DNSDCBFF | 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.05457#MKTZ |
| $P(n,1)$ and Ledet's conjecture | KF9PR7502W | 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.09298#JIVN |
| $p=1$ fails, and the exponent $q$ is right | HNAM40PC6K | 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.27766#EZWJ |
| $p^{1+2}_+\times C_p$ | RKPDPF0GDW | 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.06909#0TCJ |
| $P_{\cI}$-orthogonal lattices | 1EA40WK7FG | 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#X2OT |
| $pUp$ factorization | H7WHG6P9XM | 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.15180#VUD4 |
| $q$ Commutes with Pointwise Weakening | F8N0PDCM5Z | 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.21131#71PS |
| $q$ Distributes over Composition | 2RPWP1V2CW | 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.21131#HEW8 |
| $q$ Distributes over Composition | S9H32TNJJY | 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.21131#AMXN |
| $q$ Preserves Semantic Weakening | QR4BZ3YKFP | 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.21131#WFLU |
| $q$ Preserves Substitution Equivalence | BY3G5XS3KJ | 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.21131#YOP2 |
| $q$ Preserves Substitution Typing | D6D3E2FW27 | 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.21131#R7NO |
| $q$ Preserves Weakening Typing | BET664Z3AV | 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.21131#ONZT |
| $q$--Extension Interaction | 8GZ7ZCFJAB | 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.21131#A2Q8 |
| $q$-closure | ZN8C7GTVG1 | 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#6IXE |
| $q$-groups | ZPE1EXGPSB | 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#J1TL |
| $q$-Identity | H99QJJ8YY9 | 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.21131#DZGX |
| $Q$-inequality | P58TGN8HYG | 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.24931#12UU |
| $q$-uniqueness at $L = 27$ | 3N5X9JPXEM | 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.25543#QPJ4 |
| $q=2$ distance ceiling; original, numerical | QNMC2JVQMT | 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.02392#WC0U |
| $q=3$, $\gon(C)=3$ | HT2FY0QQP0 | 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#C90C |
| $q=3$, $\gon(C)=4$ | 6MT5QQJJVJ | 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#3A8B |
| $q=\tfrac12$, the family of Ellis and Williams | 660ZRHBK5T | 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.20932#CMJ1 |
| $q=\tfrac23$, the case $\det J=0$ | Z7PDDZ3HSX | 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.20932#VP02 |
| $q^n$ Distributes over Composition | N682B9JY3N | 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.21131#JH3N |
| $Q_7$ with five colours | 4NHJAYX6JP | 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.38993#U1HE |
| $Q_e, Q_o$ | 3MCFKQSNT4 | 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.02392#IZXZ |
| $QR$ factorization | 8WJY9AFTY0 | statement | open | austin_ula src/section6-4.xml#prop-qr |
| $r$-free lattice points | Z88R9P6TWA | 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.25457#812E |
| $r$-HPC | 36ARQK0N0H | 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.20416#GRSF |
| $r$-invisible segment | BFY65V1D7P | 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.17677#8T2L |
| $R$-Local Neighborhood | M494AFCAC0 | 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.02659#YJ0M |
| $R$-smooth numbers | DS3T72TWXH | 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 1806.05002#C26I |
| $R$-smooth numbers | GXTFMBEKJP | 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 1806.05002#9YDX |
| $R_\beta$ is an \evar attaining the bound | D7M7GCN20N | 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.27765#Y6T2 |
| $RGB$ color model | Z8CGPMPAXY | concept | open | austin_ula index/3.3.2/rgb-color-model |
| $RO(G)$-graded homotopy groups | MAJ9C845FM | 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.21675#TQJ1 |
| $RO(G)$-graded pre-Bott classes | 28C2RAWKKC | 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.21675#9B5V |
| $S$ is a Markov semigroup | 4YYSWN585T | 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.32585#JY3C |
| $S$ topology | FBS03B8QBP | 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.33841#FK6N |
| $S$--$T$ linkage | T42PN29062 | 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.06724#10YD |
| $S$--$T$ Network reliability | P00SB19J8F | 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.06724#4E9E |
| $S$-Spectrum | MAHNRH5H3J | 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.26382#XI8Q |
| $S^1$-valued $\sigma$-models | T1DRND211S | 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.03865#9K9L |
| $S_1< 0$ for $\ell_1$ regularization and $\sigma>0$ | 13RT7KEMF1 | 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.38453#LQSZ |
| $S_2 \le 0$ for $\ell_2$ regularization | FPB6CRYVNX | 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.38453#GGBO |
| $S_F^t (x_0)$ forms a path-connected continuum | 4XGMHKEK5Q | 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 2203.10220#R99W |
| $S_r<0$ for Gaussian $B$ | PG0N0376Q8 | 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.38453#QJKF |
| $SL_2$ criterion for unimodality | N0ZA2250V5 | 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.33173#61PF |
| $SO_1$ Index | PX8MJAG4Y1 | 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.20364#7UUH |
| $SO_2$ Index | 9ANH6B3X9W | 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.20364#GN6Z |
| $SO_{11}$ Index | ED9VQ3EN9N | 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.20364#W24V |
| $T$ counting operator | 3KB7N77SHE | 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 1806.05002#MDNG |
| $T$ EIT | WFAM5HVTX9 | 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.25129#U9JN |
| $T$ is a functor with a scalar action | C09ZQBETSM | 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.26270#4GVC |
| $T$ monadically NIP | CV5KPYJAT1 | 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.25129#R0H0 |
| $T$ monadically NIP | KJ0JE2T5NJ | 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.25129#SSEZ |
| $T$-adic Dwork trace formula | P7R2201E13 | 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.05652#ASUZ |