Math 2.0

Inventory: S

The rows of the inventory whose names start with S. 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 5701–5800 of 6923.

NameIdKindOutcomeSources
strong pigeonhole principleC83621MENDunknownopenmathlib_overview Combinatorics > Pigeonhole principles > strong pigeonhole principle, Mathlib Fintype.exists_lt_card_fiber_of_mul_lt_card
Strong pointwise and locally-uniform small-dispersion asymptotics, \protectYMCV8H3F7Rstatementrecord (an 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.00770#5X72
Strong positivity of the linearized evolution4K1QH1M8V0statementrecord (an 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.29524#ZB0A
strong product of graphs291MXG1ERHunknownopenWikidata Q7624582, MathWorld GraphStrongProduct
strong pseudoprimeV6E6921PQ6unknownopenWikidata Q389273, MathWorld StrongPseudoprime
Strong recursive feasibility90YVT28TDVdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2303.11021#0275
Strong regularity of the block graphJ1PQJCGDZRstatementrecord (an 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#79L5
Strong seeded extractorMH4ZRXBC2Bdefinitionrecord (an 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.02407#W63G
Strong separation582C4QAEC5statementrecord (an 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.07214#Q0K6
Strong slice genus boundD4BG6EYCQAstatementrecord (an 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.10206#PF9S
Strong slice genus of pseudo-thin links6CF328QKHPstatementrecord (an 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.10206#MNVV
Strong solidity8EG5K4PWWFstatementrecord (an 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.22109#80RJ
Strong solidity under positive curvatureN0C9133009statementrecord (an 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.22109#GCC2
Strong solidity, Ozawa--Popa3RNC1N29F9definitionrecord (an 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.22109#DNE2
Strong solutionGERGG43N9Ydefinitionrecord (an 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.14555#9VF8
Strong solutionVFWMANHRYCtopicopenWikidata Q54290810
strong solutionXD6BP8KGXTdefinitionrecord (an 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.35001#ENKB
Strong stationarity4RGCPBVS7Xdefinitionrecord (an 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.00033#MRLA
Strong subspace designs as lossy rank condensersYG1CEV3XCKstatementrecord (an 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.32834#82AQ
Strong subspace designs over arbitrary finite fieldsCWNDRJM9F1statementrecord (an 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.32834#1IFV
Strong subspace designs over arbitrary finite fieldsRH6P2FCQNFstatementrecord (an 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.32834#4KNH
Strong tail optimality of \DynoSPLITM86RG9XR62statementrecord (an 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.17329#KV7E
Strong tail optimality of \DynoSPLIT, explicit form973VQCGQTYstatementrecord (an 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.17329#JZ7C
Strong trajectory121338BCG6definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv math/0003117#RCQ9
Strong Type $(p,p)$ InequalityTGDDSMBBCMdefinitionrecord (an 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.16580#OXCX
Strong wild symmetric-coefficient estimateQKGGQSQHKYstatementrecord (an 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.10583#1K4G
strong, collection7K5AVM5BCKconceptopenhott_book index/C.5/strong-collection
strong, inductionBCJEFEH2C2conceptopenhott_book index/C.3/strong-induction
strong, normalizationTQEHR2GBMZconceptopenhott_book index/4.4/strong-normalization
Strong-resistance asymptotics with explicit coefficientJZXH48PN1Wstatementrecord (an 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.21328#N5A8
Strong-Rough Solutions53SG805ZMEdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2312.06473#8SKT
Strong-to-weak classX6MZD6G1DVstatementrecord (an 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#UTLN
Stronger parent dominance63RX254TMFstatementrecord (an 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#W8U8
strongly compact cardinalGJVRKQVNKDunknownopenWikidata Q7624677, nLab strongly compact cardinal
strongly connected componentJ6WW64WN8JunknownopenWikidata Q2003238, MathWorld StronglyConnectedComponent
strongly connected graph9NW8A2NRE3unknownopenWikidata Q122389658, MathWorld StronglyConnectedDigraph
Strongly convex96GZZ1BMHVstatementrecord (an 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.35418#QWK8
Strongly convex one-step bound under dual norm distortionQKC1BN5QMGstatementrecord (an 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.38741#TJ90
Strongly convex specializationKSQZ26WBVDstatementrecord (an 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.38741#81DW
Strongly convex stochastic subgradient subroutineGKH3M0RKA5statementrecord (an 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.34099#WWGU
Strongly Gauduchon properness2767YZMQZ7statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2407.02022#JTZU
Strongly Log-Concave Moment CertificatesPVSFK9WMMGstatementrecord (an 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.30105#Q8WR
Strongly monotone chainAGHBBSH0C4statementrecord (an 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.12641#UXEJ
Strongly monotone VIs under mixed noisePYEDSHASEZstatementrecord (an 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.12641#FQ0T
strongly perfect graphAGAFFC8BFPunknownopenWikidata Q136231915, MathWorld StronglyPerfectGraph
strongly regular graph4VQR60Y00DunknownopenWikidata Q692823, MathWorld StronglyRegularGraph
Strongly regular graphs202XC5TF0Tunknownopenmathlib_overview Combinatorics > Graph theory > Strongly regular graphs, Mathlib SimpleGraph.IsSRGWith
Strongly regular graphs with UAM5JY81XZNEGstatementrecord (an 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.10017#B17U
Strongly-convexDQZQ3MHAM9statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2109.08858#PHWL
strophoidRQXYS25E4AunknownopenWikidata Q1050391, MathWorld Strophoid
Structural Alignment with Optimal Receiver5CM9W8DXZ1statementrecord (an 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.33695#J6Z2
Structural Connectivity, Sprenger and DamPGXWQP6FH9definitionrecord (an 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.26337#ZR5Z
Structural decompositionE6EYAY8QYEstatementrecord (an 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#1AIK
Structural Properties of $\iota$RAP773B1BKstatementrecord (an 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#D2C8
Structural properties of the habitat-conforming operatorTHPSGHHM7Xstatementrecord (an 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.29524#B2ZY
Structural properties of the reflected Cartesian operatorGY4H6GXZAYstatementrecord (an 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.29524#YRZN
Structural reductionBNXPTZPMQ0statementrecord (an 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.33185#UIQG
structural ruleJSJEHFBGR6unknownopenWikidata Q4548693, nLab structural rule
Structural spaces and compatibilityFVS3WQ014Rdefinitionrecord (an 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.04357#C0Q7
structural stability6HN2YXWZTFunknownopenWikidata Q1648886, MathWorld StructurallyStable
Structural stability7SJZHE1W30statementrecord (an 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.10993#WOPQ
Structural stability in $\mathbb P^n$2VZF860EBSproblemrecord (an 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.35597#17HW
Structural stability of reciprocal circle lockingW9SF5WRVTNstatementrecord (an 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.15686#SATL
Structural stability of stroboscopic lockingSKA2A8DN2Nstatementrecord (an 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.15686#42VP
Structural stability of the infinite productWKGPEG30TPstatementrecord (an 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.04179#N4MA
structural, recursionNPG8802M38conceptopenhott_book index/4.1/structural-recursion
structural, rulesZFA2FE7ZMTconceptopenhott_book index/4.2.2/structural-rules
structural, set theoryXQ91BH2XZMconceptopenhott_book index/C.1.4/structural-set-theory
structuralism77QVN780Z0unknownopenWikidata Q179168, nLab structuralism
structure194E41D24Jstatementrecord (an 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.01753#XN20
StructureRCYEHN2AM9statementrecord (an 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.14012#ZNT7
StructureVAAGFY1R8Nstatementrecord (an 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.38220#0YJ0
structure (model theory)2KX8D6HTZAtopicopenWikidata Q1851710, MathWorld Structure, nLab structure in model theory, Wikidata Q205464, EoM Structure, nLab algebraic structure
structure constants5E95JX8JGCunknownopenWikidata Q7625098, MathWorld StructureConstant
structure factorK2GSD4CAB7unknownopenWikidata Q900684, MathWorld StructureFactor
structure formation1XQX2YNHJJunknownopenWikidata Q2914363, nLab structure formation
Structure identity principleA86TZX4BTTstatementopenhott_book categories.tex#thm:sip
Structure of $\Lambda(h)$HN41G0PM2Sstatementrecord (an 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.17276#8G9Q
Structure of $\mathcal K_u$TGGFH51PXGstatementrecord (an 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#H1N6
Structure of $\varphi(n)$ and its DerivativesQHABP8NVKZstatementrecord (an 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.37489#634C
structure of $E$ and $V$PKMKPJ9NJSstatementrecord (an 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#0OJS
Structure of $Q$EG2REV95QVstatementrecord (an 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#QQF4
Structure of $S(k)$5N7N7BX505statementrecord (an 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.07341#G4J6
Structure of abelian measurable tilingsRATFF7P6TMstatementrecord (an 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.01511#2Q22
Structure of finite nilpotent groupsXPAHQ64C1Zstatementrecord (an 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#8S5H
structure of finitely generated abelian groups6P2CYGEXECunknownopenmathlib_overview General algebra > Group theory > structure of finitely generated abelian groups, Mathlib AddCommGroup.equiv_free_prod_directSum_zmod, mathlib_undergrad Group Theory > Abelian group > finite type abelian groups
Structure of invariant POVMsFD4SFB3GDVstatementrecord (an 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.29348#9SJT
Structure of inverse RGAsMTZQFBGT5Sstatementrecord (an 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.35558#V38X
Structure of pointwise equivariant channelsW0QKF8B4PRstatementrecord (an 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.25987#8K0V
Structure of solutions and solution spaceZVACJPPE0Gstatementrecord (an 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.14085#15DO
Structure of the bordered kernelTQ2J2X4952statementrecord (an 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.27966#4Y9Z
Structure of the conditional HessianY9JG4KK97Cstatementrecord (an 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.06490#ZEN6
Structure of the design code as a $G$-module13RDXTQWJRstatementrecord (an 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#5OP4
Structure of the liftSP6ZEZ22N0statementrecord (an 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.13892#9NZT
Structure of the MCSEG1SAZ60RCCstatementrecord (an 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.17403#O9IQ
Structure of tilings of $\Z^d$10CFDCEESMstatementrecord (an 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.01511#CIN3
Structure Sheaf1Z5QQZRQYBdefinitionrecord (an 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.28495#S8YH
structure sheafM74DSD3MBBdefinitionopenWikidata Q91435750, nLab structure sheaf, ProofWiki Definition:Ringed_Space/Structure_Sheaf
Structure TheoremZW5BNX01TJstatementrecord (an 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.17565#EC1E
Structure theorem for approximate homomorphismsZ8RJNGC90Tstatementrecord (an 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.33733#NPDG