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 101–200 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| $\beta $-reduction | 3M0FS3XJ2G | concept | open | hott_book index/A.5/beta-reduction |
| $\beta $-reduction | Z8JJW935JG | concept | open | hott_book index/A.2/beta-reduction |
| $\beta$-coefficient of a stationary Markov process | 5FZ4NWZFQ0 | 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.37944#8CXX |
| $\beta$-complete development | 7GA51B8QQ6 | definition | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#defn:bcd |
| $\beta$-contracting | Q07F3D3TKT | 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#V9X0 |
| $\beta$-contraction, $\bredone$ | KXQ5B0FPW5 | definition | open | open_logic content/lambda-calculus/syntax/beta.tex#defn:betacontr |
| $\beta$-echoing, strong echoing word | V0NNHGN0YE | 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.00856#CJND |
| $\beta$-equivalence, $\equal$ | APDN5EFKPH | definition | open | open_logic content/lambda-calculus/syntax/beta.tex#defn-2 |
| $\beta$-invariance of the sum rule | FE11A3ZG19 | 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.06631#MRT1 |
| $\beta$-mixing coefficient | D9AQ036TM0 | 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.37944#1Q90 |
| $\beta$-normal | 4648B2R93A | definition | open | open_logic content/lambda-calculus/syntax/beta.tex#defn-1 |
| $\beta$-reduction, $\bred$ | 45AE3GYX5Q | definition | open | open_logic content/lambda-calculus/syntax/beta.tex#defn:betared |
| $\beta$-sieve weights | RRJ0Z096C3 | 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.30207#V4Z4 |
| $\beta(n,k)$ | 6TEDW1GJQN | 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#SAV6 |
| $\beta\eta$-complete development | 3G8MN8X7YM | definition | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#defn:becd |
| $\beta\eta$-reduction, $\bered$ | S3A0H3AGDJ | definition | open | open_logic content/lambda-calculus/syntax/eta.tex#defn:bered |
| $\beta^2\rho(\mathbf M) < 1$ for $\beta < 1$ | G8E53G2EJ9 | 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#FM64 |
| $\bf m$-stability and convexity | TSM9KBBCVN | 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#PMPA |
| $\bKU_G$ as a telescopic localization | AJ5CQPZB3F | 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.21675#QNVW |
| $\bLambda$-weighted forward movement bound | FZCRBPT04A | 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.10640#VVNS |
| $\bLambda$-weighted score perturbation, $\kappa$-dependent version | C57AMPS5A0 | 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.10640#KIKE |
| $\bot$ Inversion | 8MQJFQYJT2 | 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 2506.16491#5VL1 |
| $\bT$-factor | 7EZTTED5H6 | 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.12326#4XFE |
| $\bx$-iterate stability | 69PX5NCG6E | 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 2411.07061#U6GG |
| $\C$-transfer system | B28HCACVJD | 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#UPC4 |
| $\C(X)$-partial fraction decomposition | YAQKSVMXH0 | unknown | open | mathlib_undergrad Ring Theory > Field Theory > $\C(X)$-partial fraction decomposition |
| $\cA_k$-distance from CDF error | 354E5H7S9B | 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.21033#54XK |
| $\cA_k$-norm | VCK369Q2VP | 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.21033#ZVN1 |
| $\CC$ is contractible | EBENVBPJDD | example | open | napkin tex/topology/fundamental-group.tex#example-6 |
| $\cC^0$ estimates | F7N0F1HMHQ | 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#YTCK |
| $\cC^1$ estimates | CDCW6HG0YC | 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#QCPX |
| $\cC^2$ estimates | H7975EFRP2 | 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#8B35 |
| $\cC^{2,\alpha}$ \textit{a priori} estimates | Y32QJDPH0N | 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#IJOL |
| $\chi$-optimal | WZ1X89292Z | 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.09422#STX2 |
| $\chi^2$ contraction bound; adapted Lemma 12 | R8CFCJTDA0 | 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.36016#5S8J |
| $\chi^2$ control by Hellinger | TCGKAJHKEK | 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.07190#D6LE |
| $\code{18}{4}{4}$: component is not shape | ZX8CY9VYK6 | 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.39395#50HH |
| $\cos\beta=1/3$, second outward family | TD8H016NS8 | 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.21408#3HWC |
| $\cos\beta=1/5$, second inward family | CQD4N6Q9RS | 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.21408#U9D8 |
| $\cS$-independence | EMB7DNZZQQ | 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 1711.00219#UB8M |
| $\cW_\alpha$-Initialization | F3AWPY3RAJ | 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 2006.05158#CESL |
| $\cW_\beta$-Initialization | QGSVTAGZ76 | 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 2006.05158#94P6 |
| $\cW_j$-Extension | HV8ZSQZAY3 | 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 2006.05158#2L7S |
| $\cZ_\gamma$-Initialization | QJ6E2Y1BT1 | 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 2006.05158#C0ZH |
| $\cZ_j$-Extension | 29WGWS8QXP | 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 2006.05158#7TIA |
| $\delta (\varphi \ast V)$ bounded | 5N3QEXDJ1X | 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.24451#BYQ7 |
| $\delta$ with cup products | C3R81MWQ8P | statement | open | napkin tex/homology/cup-product.tex#lemma-2 |
| $\delta$-annular region | WGG29QYEE4 | 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.26592#SREN |
| $\delta$-Completeness | C7XD5PYFTR | 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 2506.08233#II1E |
| $\delta$-hyperbolic space | 34SJD7R8XW | 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.25468#02XP |
| $\delta$-perturbations | BRPD9NZPFY | 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 2506.08233#NEL3 |
| $\delta$-regularization | B543GDR1B4 | 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.12544#ZZOO |
| $\delta$-Reliability | CMN48KFBMG | 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.24994#3TPN |
| $\delta$-smooth numbers | TEB388DWB0 | 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.00843#8IMS |
| $\Delta^k$-constant | 3Q9JM83B3Q | concept | open | levin_dmoi index/3.3/delta-k-constant |
| $\Delta_2$-growth condition | RRZX210X0S | 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.26645#DRWE |
| $\dot H^{-1}$ bound | 5VBF5ER2YE | 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.20106#EK8V |
| $\dot H^{\ndmu}$ estimates | TQZ6W9QE72 | 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 2605.00407#8407 |
| $\dot{\rho}$ equation | BCVR29S4CK | 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#0Z40 |
| $\dot{f}$ equation | ZWTKTYY96R | 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#LAXA |
| $\ell$-bottleneck property | X0X4B6J8QE | 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.37589#OLRI |
| $\ell_1$ product | EFB0C35Y6G | 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#HD1Y |
| $\ell_4$-isometric unitary is monomial | A5XZ59F3GR | 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.21653#TTLP |
| $\ell_p$ regression | K6KCV5SR2N | 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.32977#Q2ZJ |
| $\ell_{0-1}$ loss | CCY4GS064K | 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.11388#7TB1 |
| $\ep$-stability inequality | AAKAZ80TQ1 | 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.04833#O872 |
| $\eps$-enclosures | 2CX2QMSMTM | 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 2506.08233#L82N |
| $\eps$-enclosures are provable | PPGJ3629R0 | 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 2506.08233#4DTH |
| $\eps$-optimality | MBC43FTKAZ | 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.06755#6PBR |
| $\epsilon$-accuracy and sample complexity | 7YRMJCFSG6 | 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.39837#OMJJ |
| $\epsilon$-floor-wrapped regularization | GCJY6MJNJH | 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.14988#JPJM |
| $\epsilon$-floored simplex | QYKDNH9049 | 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.14988#S7JH |
| $\epsilon_n$-typical graphs | HK5DTZJADP | 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.33704#BRZG |
| $\errtol$-maximal feasible set | 1SCZZMZ6VZ | 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.38132#X0DB |
| $\eta $-expansion | 6J2J6BTWE8 | concept | open | hott_book index/A.5/eta-expansion |
| $\eta $-expansion | P0GVV8NYHC | concept | open | hott_book index/A.2/eta-expansion |
| $\eta$-contraction, $\eredone$ | 4DA0T61G18 | definition | open | open_logic content/lambda-calculus/syntax/eta.tex#defn:beredone |
| $\exch$-independence | PJ4TY5SSDQ | 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 1711.00219#QE4R |
| $\exists$ Elimination | F9HAVPR9F7 | 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 2506.16491#66CM |
| $\forall$ Inversion | R3CTPCDVYF | 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 2506.16491#HEG3 |
| $\frac52\ZZ$ is a fractional ideal | 6HJRKWA8EB | example | open | napkin tex/alg-NT/dedekind.tex#example-5 |
| $\Gamma$-consistency | 98DN2ZV7P9 | 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.20106#0OXY |
| $\Gamma$-convergence | 2GZBCSDV2R | 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.30049#U5WA |
| $\Gamma$-convergence to total variation | 5FMA4HZVNP | 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.26645#CBR2 |
| $\GL$-equivalence | J21V449G9W | 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.15535#UVK1 |
| $\half$ isn't an algebraic integer | EEA3CPD938 | example | open | napkin tex/alg-NT/norm-trace.tex#example-7 |
| $\id$ replacement | 5QC2KVGMDM | 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.17875#I15L |
| $\in$-Induction Scheme | 806E9YDWDP | statement | open | open_logic content/set-theory/spine/rank.tex#thm-1 |
| $\infty$-functor | 9MXD3RFSW4 | concept | open | hott_book index/1/infty-functor |
| $\infty$-group | FBW2FB7K1G | concept | open | hott_book index/5.11/infty-group |
| $\infty$-groupoid | 8G93028RG0 | concept | open | hott_book index/1/infty-groupoid |
| $\infty$-groupoid | AVKDCQPM29 | concept | open | hott_book index/7/infty-groupoid |
| $\infty$-groupoid | B2KCTS340X | concept | open | hott_book index/1.15/infty-groupoid |
| $\infty$-groupoid | FJYH4VG7FS | concept | open | hott_book index/5.1/infty-groupoid |
| $\infty$-groupoid | GY01QZ2Y3A | concept | open | hott_book index/8.8/infty-groupoid |
| $\infty$-groupoid | H9TE8YGAT3 | concept | open | hott_book index/7.8/infty-groupoid |
| $\infty$-groupoid | X4X2F3Y28M | concept | open | hott_book index/8.4/infty-groupoid |
| $\infty$-groupoid | XTGV7N0KFV | concept | open | hott_book index/u1.u2/infty-groupoid |
| $\infty$-groupoid, fundamental | QFS661H3XV | concept | open | hott_book index/1/infty-groupoid-fundamental |
| $\infty$-groupoid, structure of a type | A992DPA17W | concept | open | hott_book index/1.1/infty-groupoid-structure-of-a-type |