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 5501–5600 of 6923.

NameIdKindOutcomeSources
StrassmannHX2A7VJK3Bstatementrecord (an 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.12013#YOIP
Strassmann's theoremZSMS1G53YAstatementopenmathlib_1000 Q7621715, Wikidata Q7621715, thousand_plus Q7621715, Wikipedia Strassmann's theorem, MathWorld StrassmansTheorem
StraszewiczSBC6NXNM9Bstatementopenlebl_scv scv.tex#thm-56
strategic scale of a strategyV3VGSDW59Fdefinitionrecord (an 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.01517#46CZ
Strategies and correlationsM2WQXG65BKdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2103.02468#HYP3
Strategies as Street fibrationsVZAH3AN0PXstatementrecord (an 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.37815#NDI1
strategy \& strategic scale of an elementP9FT7Z2SNXdefinitionrecord (an 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.01517#L65E
Strategy with multiple defences per time-stepHNTNHYR3BKdefinitionrecord (an 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.05459#4BF4
StratificationE1YTR53YN7statementrecord (an 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.20542#DHLF
stratifoldVNH9NFNFBYunknownopenWikidata Q7622195, nLab stratifold
Stratum leaf spaceXC4B4S5ZKNstatementrecord (an 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.26269#1MXX
STRCH4Y9M0STRCH4Y9M0statementrecord (an 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.26162#E6I1
stream1EQYW1N7S4unknownopenmathlib_overview Data structures > List-like structures > stream, Mathlib Stream'
stream function8BNQQNA150topicopenWikidata Q2029236
Streaming at the rank rateNWC9CB968Dstatementrecord (an 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.04271#OTTO
Streaming-history propertiesT238FZCMZKstatementrecord (an 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.20187#K1ZJ
Street, Johnson--YauS42VT1T75Estatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2305.01474#XLNV
Strengthening with the orderDBES4SS9QTstatementrecord (an 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.33794#Y6ND
Stress characterization of second-order rigidityBXRFT6EV4Kstatementrecord (an 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.17004#8IA9
stress–energy tensorS7913XV35CunknownopenWikidata Q876346, nLab stress-energy tensor
StretchETQ4N00RYQdefinitionrecord (an 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.34025#3N2D
Stretched TorusTMBCX9BVRFdefinitionrecord (an 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.12817#2LPI
Stretched-exponential common inputJ66GCZ66DPstatementrecord (an 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.11309#QOSD
Stretched-exponential decay of correlations under LICJPMJYWNE8statementrecord (an 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.31858#RMMP
Stretching bound for lattices preserved by the cyclic actionNTSWE07W9Mstatementrecord (an 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.12619#0UNR
STRFZ7WWJKSTRFZ7WWJKstatementrecord (an 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.10469#PXNW
Strichartz estimateAVW8Z05SHBstatementrecord (an 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.07116#EAS8
Strichartz estimatesKFR6V9E2T0statementrecord (an 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.15460#ZI24
Strichartz estimatesQZDY1WRWJAstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2107.00792#5N7W
Strichartz estimatesSYTWD6KT6Hstatementrecord (an 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#5AGQ
Strichartz estimatesYWX89H5D6Ystatementrecord (an 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#NDW2
Strichartz estimatesYXDVVN6AJAstatementrecord (an 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.02933#PCAR
Strichartz estimates in Lorentz space4VXFZ3EVT5statementrecord (an 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#BKD0, arXiv 2610.15460#A3JV
Stricharz norms via $N(t)$ZEPPHYT6CWstatementrecord (an 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#X7XO
Strict 2-adjunctionRA8CHP2BTCdefinitionrecord (an 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.10930#VGN5
Strict 2-categoryPJNTJC4G3Ddefinitionrecord (an 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.10930#8R8O
strict 2-categoryZXHAB773NYunknownopenWikidata Q4596935, nLab 2-category, nLab strict 2-category
Strict 2-functor1ERFZGZZ03definitionrecord (an 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.10930#YEUG
Strict 2-natural transformationMB6GMB114Hdefinitionrecord (an 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.10930#SLJT
Strict affine cardinality defect6S1SSHGGJ6statementrecord (an 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.26019#P6OU
Strict arithmetic terms for $p_n$ and $\pi(n)$DWMQA78J0Dstatementrecord (an 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.13365#NC4S
Strict attenuation can be necessary for an exact output law4WCD9VXCMTexamplerecord (an 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.38228#TC05
Strict Blichfeldt lemma for Euclidean ballsQDPRP3BM9Kstatementrecord (an 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.19455#RXVB
Strict clause-(v) value on its equal-cap diagonalEDZBFDPND6statementrecord (an 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#A09K
Strict CLF for the 3D nonholonomic vehicleGNWR512S1Fdefinitionrecord (an 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.24192#BPEY, arXiv 2609.36212#TKHO
Strict comparison with respect to tracial statesVDCADG2TBWdefinitionrecord (an 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.09390#SK6A
Strict concavity of maximal covarianceWYM0WYMF73statementrecord (an 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.38228#VXGQ
Strict convexity of $V$ does not imply (V3Y3EK2ZNJWRexamplerecord (an 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.25380#E2JB
Strict crossing alone does not identify the meanGDZHWJAAQAstatementrecord (an 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.33472#YYWN
Strict decrease of the invariantPH1FN5J6DWstatementrecord (an 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.35229#PVIX
Strict degree-thirteen portfolio gapBGD6548CEMstatementrecord (an 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.04027#2WKB
Strict envelopeP6B1SGVBBVstatementrecord (an 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.37479#U733
Strict finite-observation representation gapTN927JENM8statementrecord (an 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.00291#3ACT
Strict fixed points and orbitsTX4DDA8GDVdefinitionrecord (an 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#64XI
Strict gap between the thresholdsX7JBRQT30Estatementrecord (an 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.07404#XXVW
Strict Gaussian mass from a variance perturbationRQKSJXRV26statementrecord (an 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.38228#LEOG
strict gradedness for flag ambient complexesTRZGH5W5KQstatementrecord (an 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.32733#CUOV
Strict Hessian bound around a conditioned critical pointJW7KN9KHN7statementrecord (an 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#Q8OQ
strict hierarchy9XTV9FCX43statementrecord (an 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.32733#KKZ1
Strict homothetic contractionsEQM5S30RCSstatementrecord (an 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.38228#5P9E
Strict improvement by an endpoint perturbation1XGTDZXTQ9statementrecord (an 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.38228#GS6V
Strict increase at Bernoulli bulk energiesTX0JWPYGPKstatementrecord (an 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.21268#UTA3
strict inequalityZCCN4HXH8KdefinitionopenWikidata Q3154010, MathWorld StrictInequality, ProofWiki Definition:Inequality/Strict
Strict inequality of the SSQ rateMTKM4Y5NHTstatementrecord (an 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.15549#CI7B
strict initial objectGBY6FFQBXFunknownopenWikidata Q25098887, nLab strict initial object
Strict linear orderCW9XMVRQ9Zdefinitionopenopen_logic content/sets-functions-relations/relations/orders.tex#def:strictlinearorder
Strict linear Stokes identityAAA7SDQJJ1statementrecord (an 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.27799#O3XR
Strict lower-row non-attainment2TYE9B6P7Astatementrecord (an 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.01328#TLQO
Strict Lyapunov inequality2J4HYBSSA9statementrecord (an 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.04894#1HKX
Strict monotonicity of the heat-kernel diagonalQ06D9R47ABstatementrecord (an 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.08011#8WWL
strict n-categoryGGX73V4T50unknownopenWikidata Q10851797, nLab strict n-category
Strict order9G1HQ58106definitionopenopen_logic content/sets-functions-relations/relations/orders.tex#defn-3
strict orderFY1V46FZ3PunknownopenWikidata Q11077412, MathWorld StrictOrder
Strict P\'olya for periodic tilingsMHPN1YVRWWstatementrecord (an 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.19455#WLTU
strict partition functionK1X1EZYYAJunknownopenWikidata Q11291670, MathWorld PartitionFunctionQ, OEIS A000009
Strict physical gap with noisy observations and finite ratesMMHNG8G3JSstatementrecord (an 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.00291#XUA2
Strict positivityD371AFR888statementrecord (an 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.02436#2YC7
Strict positivity of $\underline{p}(\epsilon)$3T181VW0MQstatementrecord (an 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.31363#0M8S
Strict positivity of the Dirichlet heat kernel4BA494TQCVstatementrecord (an 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.08011#Y16M
Strict quadratic diagonal for clause (ivQ65FYA2NGHstatementrecord (an 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#BQTH
Strict scalar alternative3SHBT059GAstatementrecord (an 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.25762#EWI0
Strict separation from the nonlocal termEPMY5SVKMHstatementrecord (an 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.00339#PJQ3
Strict sign gapMCQEFWB07Gstatementrecord (an 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.12434#5J4H
Strict spacelikeness at the boundaryJA2F1K3GAZstatementrecord (an 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#11JD
Strict terminal inflation4NR81DF2PEstatementrecord (an 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.38228#QFFA
Strict unimodality6P2NRE1GERstatementrecord (an 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.27153#X1MZ
Strict value of terminal information8CQ99H86AZexamplerecord (an 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.18180#TG7S
Strict value of terminal informationQ4B0144TJAstatementrecord (an 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.18180#7AFG
strict, categoryAYA31A4J65conceptopenhott_book index/2.9/strict-category
strict, categoryEE6HMX7ZEAconceptopenhott_book index/2/strict-category
strict, order4EJFPGFNH3conceptopenhott_book index/B.6/strict-order
strict, orderV0Q4GDAQC5conceptopenhott_book index/B.2.1/strict-order
strict, orderWYANXY2KAWconceptopenhott_book index/B.3.3/strict-order
strict, positivityQY63HQ00SQconceptopenhott_book index/B.6/strict-positivity
strict, positivityQYBBBKW6APconceptopenhott_book index/5.13/strict-positivity
Strict-open basis of a hyp-affineFME9TE9CWFstatementrecord (an 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.28220#7S9X
Strict-saddle basinsCP1H4VAA1Wstatementrecord (an 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.19953#V513
Strict-seam minimum exclusion7ABKD1MDEJstatementrecord (an 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#Z2HA
Strictification9NDV5XJG32statementrecord (an 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.28220#8JX1
Strictly convex domainsZ67XJRECK4definitionrecord (an 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.17519#VX0B