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 301–400 of 29490.

NameIdKindOutcomeSources
$\PSL(2,q)$: three-point stabilizersM1YH80WBYQstatementrecord (an 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.15340#5N3O
$\QUS$ is a quasitoposF1RZMSVXKMstatementrecord (an 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#U9MX
$\R(X)$-partial fraction decompositionD2ZHX0CAMEunknownopenmathlib_undergrad Ring Theory > Field Theory > $\R(X)$-partial fraction decomposition
$\R^n$ and $\pt$ are retractsB51AKDSPS9statementrecord (an 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#QCAU
$\rho$-sequenceS5C2EKXTFCdefinitionrecord (an 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.03231#QRIG
$\rho^*_\Omega$ is the optimal regularized gain6DKGRZ19YRstatementrecord (an 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#SVTF
$\RP^n$ as a cell complexBDFMNPXD8Jexampleopennapkin tex/topology/constructions.tex#example-9
$\RR \to S^1$ is regularVDZG9V1TAGexampleopennapkin tex/topology/cover-project.tex#example-7
$\RR^2$HKATXEDR1Zexampleopennapkin tex/topology/metric-top.tex#example-13
$\RR^n$ and $\CC^n$ are normed vector spacesFX7AJQ65JVexampleopennapkin tex/linalg/inner-form.tex#example-3
$\RR^n$ and $\CC^n$ have standard basesGTPEVJ05PFexampleopennapkin tex/linalg/inner-form.tex#example-4
$\sh{T}(0)-$MTS-algebraRWHY7K83X3definitionrecord (an 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.26896#HHPY
$\sigma$-additiveZ1VB65WXEVconceptopenlebl_scv index/E.1/sigma-additive
$\sigma$-algebraFT00Q1888Gconceptopenlebl_scv index/E.1/sigma-algebra
$\sigma$-explicit active error, Gaussian caseQZ78WQHYGAstatementrecord (an 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#MMEX
$\sigma$-finiteQ8FH13GNMPconceptopenlebl_scv index/E.1/sigma-finite
$\sigma$-frame, initialYHQVMQTBG7conceptopenhott_book index/B.2/sigma-frame-initial
$\sigma$-frame, initialZTNCNRXYMBconceptopenhott_book index/B.4/sigma-frame-initial
$\sigma$-secure on average (against passive adversary1Y613X3BSCdefinitionrecord (an 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#5O6J
$\sigma$-small Koszul duality adjunctionFQSBKDZ3ZRdefinitionrecord (an 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.20801#I9NR
$\sig{2k,1,1}$ is path-only112F9F01J3statementrecord (an 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.01240#MDT3
$\sim$ sees all aritiesQNY7V1X2E7statementrecord (an 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#H4TK
$\Site$ has binary productsCW0FZ246DMstatementrecord (an 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#1OFJ
$\Site$ is a category4ERRD96SS6statementrecord (an 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#WT1Z
$\Site_\pt$ has all finite productsTV428YEHSRstatementrecord (an 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#E03S
$\Site_\pt$ with the trivial topology is a concrete siteYPD2MF44YGstatementrecord (an 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#V9GG
$\SO(3)$ and a ball quotientQK683GEZW0statementrecord (an 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.14582#MFTW
$\SO(3)$ and a spherical quotientF0TSADM35Xstatementrecord (an 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.14582#2DG4
$\SSS$ is a quasitopos3JY7YGQJVZstatementrecord (an 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#NC1N
$\SSS$ is the category of concrete presheavesTAVTHGTZJ4statementrecord (an 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#D0EE
$\star$-TrisectionFSFQPEZN7Qdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1911.06467#PU9K
$\SU(2)$ and a spherical quotientV0T59EE3XNstatementrecord (an 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.14582#S5M2
$\T$-conditional pseudoconvexityDHZBAWQP4Edefinitionrecord (an 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.23872#ZPG0
$\tau$-hitting SetAJ3Z1W2JPMdefinitionrecord (an 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.33219#5OGT
$\tau$-Vandermonde--Pfaff convolutionKNQK0PYKYZstatementrecord (an 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.08568#AZT7
$\tau$-variation8X524XK1V3definitionrecord (an 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#88S0
$\tau$-weight measureA3NN9AEVWXdefinitionrecord (an 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#36HG
$\textsf{Nat}$ is a PERJ3NNM7MHFGstatementrecord (an 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#7757
$\textsf{Nat}$ reads back correctlyHR9YET0J8Xstatementrecord (an 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#ZY5E
$\texttt{G}(a,b,\sigma)$CEHJJFTZ1Vdefinitionrecord (an 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.22564#6SSK
$\text{SL}$-equivalenceY8T1GT85T0definitionrecord (an 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#4B3M
$\theta$-capillary convex bodyTTH8RDPSF4definitionrecord (an 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.09840#YVT5
$\theta$-cobordismTBCP37Z303definitionrecord (an 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.07608#MZOK
$\theta$-Ostrowski representation3M4348H2SKdefinitionrecord (an 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.12691#I61G
$\theta_\star=\theta_r$ and $W_\star=W_r$BD94NTK0S8statementrecord (an 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.01731#2USW
$\TT^d$ with a $C^2$-type classAJ3HR25HVYstatementrecord (an 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#E24F
$\twop$ classifies embeddingsW2AVAV311Ystatementrecord (an 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#JDRQ
$\U$-derivativeST0466S0PXdefinitionrecord (an 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.20593#QA2W
$\Uc_i$ implies $\mathrel{<:_i}$2P2NS3P2CGstatementrecord (an 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#KR27
$\Uc_i^\ast$ closed under $\Uc_i$-equivalenceYGAYKQA8H4statementrecord (an 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#RTRL
$\Und$, $\flat$ and $\sharp$ are functorsBJJRV6VHNBstatementrecord (an 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#8O0N
$\UP$ set6JJ8Q08XC1definitionrecord (an 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#Z89E
$\UUU = \XXX$, $C=C_0$C2GE47NFCPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2106.11898#X6QO
$\UUU = \XXX$, $C=C_0$, $\AAA = \AAA_U$TEQMP4B5GDstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2106.11898#CICI
$\UUU = \XXX$, $C=C_0=\PP^1_k$, $\xi = 0$7Q33KGRJR7statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2106.11898#IOE3
$\UUU = \XXX$, $C=C_0=\PP^1_k$, $\xi \neq 0$18JT0X64XFstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2106.11898#R182
$\UUU\subset \XXX$, $C_0 \subset C$, $\xi = 0$KC4TEW5F0Tstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2106.11898#CJPA
$\V p$-conditional Riesz pairD0YHNAKEDMdefinitionrecord (an 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.14920#17D2
$\V p$-conditional Riesz pairM9G144Q7QVdefinitionrecord (an 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#VO5L
$\V p$-conditional Riesz pairs generated by $\Op L$61JAFF9MJCstatementrecord (an 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#QOB5
$\varepsilon$-Nash equilibriumWZ129M9GE0definitionrecord (an 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.26265#YT45
$\varepsilon$-NFAET90RXAGMXunknownopenmathlib_overview Logic and computation > Formal languages > $\varepsilon$-NFA, Mathlib εNFA
$\varepsilon$-pseudospectrumYFW57RVC53definitionrecord (an 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.01501#HVU2
$\varphi$-decompositionDEY07T9E3Dstatementrecord (an 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.26134#0YWF
$\varphi_{R, j}$ propertiesJET1M5VK0Zstatementrecord (an 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#O2T4
$\Vdash \Gamma$ implies $\vdash \Gamma$XMCVX08MC7statementrecord (an 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#3QL8
$\vee$ Elimination2FRFC1616Vstatementrecord (an 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#L2CT
$\w$-typeQEMQGD9YY8conceptopenhott_book index/8.3/w-type
$\w$-type, as homotopy-initial algebraYYC2SCQSBEconceptopenhott_book index/8.4/w-type-as-homotopy-initial-algebra
$\w$-type, impredicative encoding of2N8JY5HQSPconceptopenhott_book index/8.8/w-type-impredicative-encoding-of
$\wedge$ InversionF86GC07E6Ystatementrecord (an 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#DJKR
$\xbf$-conditioned independence polynomial of $\RR(G)$VTQYJY6XCYstatementrecord (an 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.35102#PB3O
$\Z/n\Z$ and its invertible elements4VGZ200EPYunknownopenmathlib_undergrad Ring Theory > Divisibility in integral domains > $\Z/n\Z$ and its invertible elements, Mathlib ZMod.unitOfCoprime
$\Z_P$ as the intersection of quadrics16HYWS4CENdefinitionrecord (an 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.19945#CM3K
$\Zc2$-cohomology of $\RP^n$WSQ2P03ZH8exerciseopennapkin tex/homology/cohomology.tex#problem-1
$\ZZ$ is a Dedekind domain383GKNSN4Gexampleopennapkin tex/alg-NT/dedekind.tex#example-1
$\ZZ$ is the infinite cyclic groupWB3KCC0QWFexampleopennapkin tex/H113/quotient.tex#example-1
$\ZZ/5\ZZ$AMNWV6CH8Vexampleopennapkin tex/H113/ring-intro.tex#example-11
$\ZZ_T$-invariant group divisible packingsNY3J25V46Fstatementrecord (an 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#KFZ1
$A$-sweep1W4D1A1WNRstatementrecord (an 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#2S7G
$A[X]$ has gcd and lcm if $A$ does7ABVCFEJKVunknownopenmathlib_overview General algebra > Polynomials and power series > $A[X]$ has gcd and lcm if $A$ does, Mathlib Polynomial.normalizedGcdMonoid
$A[{X_i}]$ is a UFD when $A$ is a UFDQ7E1S3CJDKunknownopenmathlib_overview General algebra > Polynomials and power series > $A[{X_i}]$ is a UFD when $A$ is a UFD, Mathlib MvPolynomial.uniqueFactorizationMonoid, mathlib_undergrad Ring Theory > Divisibility in integral domains > $A[{X_i}]$ is a UFD when $A$ is a UFD
$A_2$ in type $F_4$1C433AR4MSexamplerecord (an 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#TCBC
$A_3^{(1)}$-typeCZA0TC7BW2statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2104.11433#EHS8
$A_4^{(1)}$-typeZFTWKCRHQXstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2104.11433#G85A
$A_5^{(1)}$-typeB61JXDQ8YMstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2104.11433#2LAX
$A_6^{(1)}$-type4H52XAKA4Xstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2104.11433#SLNZ
$A_{18}$'s exact stabiliserDEK3D2CAAWstatementrecord (an 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.25120#1CMA
$a_{R}$ mapZXJ2M3QX8Ndefinitionrecord (an 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#1NES
$B$ generates $G$SW26XGZ6A3statementrecord (an 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.00902#NX06
$C$-global localizationAJBMH0JNGJdefinitionrecord (an 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#J4HS
$C$-global spectraAWXA4XPPPPdefinitionrecord (an 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#48F9
$C$-initial algebra3DTZEHN1JVdefinitionrecord (an 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.14678#VJ8J
$c$-interior $\varepsilon$-PMLBASF6R7W0Gdefinitionrecord (an 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#2NU7
$c$-interior PML to LDP7VCJW0TXG1statementrecord (an 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#IS6W
$C$-viscosity solutionBDRDG9G1DSdefinitionrecord (an 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#JDCR
$C^1$ specialization of Theorem 4.2DQN70D1PB2statementrecord (an 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.05428#VNV1
$C^1$ weighted $C^{(1,2)}$ Hawking singularity theorem, version 1MXDQVD1G4Bstatementrecord (an 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#U2EO
$C^1$ weighted $C^{(1,2)}$ Hawking singularity theorem, version 28TFRHA0XFRstatementrecord (an 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#VG75
$C^1$ weighted $C^{(1,2)}$ Penrose singularity theoremZ0J6WFG99Jstatementrecord (an 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#0LBY