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.
- 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 3501–3600 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| SM6RF5SJM4 | SM6RF5SJM4 | 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.08334#GRPX |
| SM6VD01EQS | SM6VD01EQS | 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.07530#DB7N |
| SM7082D0TA | SM7082D0TA | 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.15504#IOJM |
| SM8B2Z3QGX | SM8B2Z3QGX | exercise | open | lebl_ra ch-real-nums.tex#exercise-4 |
| SM8ZTS3W4J | SM8ZTS3W4J | 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.09678#SQ5Q |
| SM943M1J5B | SM943M1J5B | 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.18562#1LNS |
| SM9638APFB | SM9638APFB | 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.35467#31XH |
| SM98APWFTR | SM98APWFTR | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-19 |
| SM9C4TB4GY | SM9C4TB4GY | 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.13291#9R2E |
| SM9CDEYTRB | SM9CDEYTRB | 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.24465#DW3O |
| SM9GDBS0C7 | SM9GDBS0C7 | statement | open | open_logic content/first-order-logic/syntax-and-semantics/subformulas.tex#prop:count-subfrms |
| SM9MM5Z0BG | SM9MM5Z0BG | 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.03255#8Y4K |
| Smale's problems | 5AAWXBCTWB | concept | open | Wikidata Q2664496, MathWorld SmalesProblems |
| Small $\delta$ regime | DV3JRDAFZK | 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.39449#GA32 |
| Small $t$ lower bound | K9287TNFE6 | 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.04135#W0WE |
| Small $t$ lower bound under trial heterogeneity | VVSHG6QN4Q | 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.04135#NY1H |
| small actions | 9AG86CM0MH | 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.09561#M0DP |
| Small balls along regular minimizing geodesics | PDMMB8V3XP | 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.05204#B48U |
| Small barrier from an integer codeword | 9387C4ECEM | 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.04834#J7KL |
| small category | 89Y4G49D8J | definition | open | Wikidata Q10567583, EoM Small_category, nLab small category, ProofWiki Definition:Small_Category |
| small category | R3N2A9Q1VV | unknown | open | mathlib_overview General algebra > Category theory > small category, Mathlib CategoryTheory.SmallCategory |
| Small characteristic | 1RHTC1R4QC | 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 1308.2487#P7N4 |
| Small characteristic | 6SE1JSCR80 | 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 1308.2487#1H2T |
| Small characteristic | Q1AJC4K56P | 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 1308.2487#N6YX |
| Small characteristic | RM17M4GFHJ | 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 1308.2487#C4SW |
| Small characteristic | WXQSVHV9KK | 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 1308.2487#1SFJ |
| small circle | 2SCCW6BY9T | unknown | open | Wikidata Q149295, MathWorld SmallCircle |
| small complex icosidodecahedron | KBCFD8M31Q | object | open | Wikidata Q7543031, MathWorld SmallComplexIcosidodecahedron |
| Small contrast | MJ69BV15C0 | 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.17026#CPOO |
| Small council lemma | R6HS7WMRAE | 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.20391#NX7V |
| Small CR-quasisymmetry | P5H8AD2FP2 | 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.28014#NQUU |
| small cubicuboctahedron | JSKEW8TS1W | unknown | open | Wikidata Q3100399, MathWorld SmallCubicuboctahedron |
| Small cuts of a prism | X95X6T46G0 | 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.12014#WOP2 |
| Small degree over every finite field | JKRRCS1MS5 | 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#QMJW |
| Small diagonal error from rank-1 terms | 5E394EWGC2 | 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#WXZ9 |
| small ditrigonal dodecacronic hexecontahedron | YN940JH65K | unknown | open | Wikidata Q12795581, MathWorld SmallDitrigonalDodecacronicHexecontahedron |
| small ditrigonal dodecicosidodecahedron | GJW1ZCGHMD | unknown | open | Wikidata Q2718532, MathWorld SmallDitrigonalDodecicosidodecahedron |
| small ditrigonal icosidodecahedron | JXHGN0XNWQ | unknown | open | Wikidata Q158652, MathWorld SmallDitrigonalIcosidodecahedron |
| Small dodecacronic hexecontahedron | KVEA5309F4 | unknown | open | Wikidata Q28001489, MathWorld SmallDodecacronicHexecontahedron |
| small dodecahemicosacron | 5S02JSWT6Y | unknown | open | Wikidata Q7543042, MathWorld SmallDodecahemicosacron |
| small dodecahemicosahedron | WHNX8EFE4W | unknown | open | Wikidata Q2718207, MathWorld SmallDodecahemicosahedron |
| small dodecahemidodecacron | B36YWN55W7 | unknown | open | Wikidata Q7543044, MathWorld SmallDodecahemidodecacron |
| small dodecahemidodecahedron | R946Q3ZP2D | object | open | Wikidata Q2717567, MathWorld SmallDodecahemidodecahedron |
| small dodecicosacron | VZ08NH5AR1 | unknown | open | Wikidata Q7543046, MathWorld SmallDodecicosacron |
| small dodecicosahedron | BNG6KXWFE6 | unknown | open | Wikidata Q2717581, MathWorld SmallDodecicosahedron |
| Small Dunkl matching algebras | BM9ZFT5EWW | 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.34260#W9XH |
| Small gradients near vertices | EN79KV6TGF | 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.06653#JFNV |
| Small groups | MQGN34DEDY | 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.18154#CFRM |
| small hexagonal hexecontahedron | 9YPT994MN7 | unknown | open | Wikidata Q7543072, MathWorld SmallHexagonalHexecontahedron |
| small hexagrammic hexecontahedron | X3TGRF8P0Q | unknown | open | Wikidata Q7543073, MathWorld SmallHexagrammicHexecontahedron |
| Small homogeneous dimensions | 165JHB99TY | 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.04189#KR8T |
| small icosacronic hexecontahedron | Z4ZN94CX1W | unknown | open | Wikidata Q7543084, MathWorld SmallIcosacronicHexecontahedron |
| small icosicosidodecahedron | DF1EQ6KK5E | unknown | open | Wikidata Q2718107, MathWorld SmallIcosicosidodecahedron |
| small icosihemidodecacron | DS3457V6KE | unknown | open | Wikidata Q7543087, MathWorld SmallIcosihemidodecacron |
| small icosihemidodecahedron | ND5GVGAV6C | unknown | open | Wikidata Q3100389, MathWorld SmallIcosihemidodecahedron |
| Small initial degree over the prime field | MQASG8AD09 | 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#I91G |
| Small insertional pseudoentropy gives conditional samplers | CSP99SWR9B | 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.14615#M7KR |
| Small intervals | 50BM2TTRSE | 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.28454#T93J |
| Small localities | WNQ73FK2KQ | 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.02407#NTB7 |
| Small next-block pseudoentropy gap gives samplers | 1HHS3DF6PD | 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.14615#MIGO |
| Small parameters and the uniform upper tail | W4XNCKT2GG | 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.37482#TLAD |
| Small prevalence | 69SVDYN2V1 | 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.16845#0IKR |
| Small relative phases within the new block | FGMMWQW7WC | 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.37164#8HYN |
| small retrosnub icosicosidodecahedron | V9B0V4RBGJ | unknown | open | Wikidata Q62446, MathWorld SmallRetrosnubIcosicosidodecahedron |
| small rhombicosidodecahedral graph | GRE4B4GC9E | unknown | open | Wikidata Q3115601, House of Graphs 1317, MathWorld SmallRhombicosidodecahedralGraph |
| small rhombicuboctahedral graph | G0T3XJ2276 | unknown | open | Wikidata Q3115602, House of Graphs 1319, MathWorld SmallRhombicuboctahedralGraph |
| small rhombidodecacron | Q2PKHT2KV4 | concept | open | Wikidata Q7543562, MathWorld SmallRhombidodecacron |
| small rhombidodecahedron | FRN41W15JH | unknown | open | Wikidata Q59629, MathWorld SmallRhombidodecahedron |
| small rhombihexacron | SPZXDNFQV0 | unknown | open | Wikidata Q7543565, MathWorld SmallRhombihexacron |
| small rhombihexahedron | C7N25Y1XAS | object | open | Wikidata Q69368, MathWorld SmallRhombihexahedron |
| Small seeds for a general KPP reaction | BQ0XZEPA3C | 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.21328#9YKR |
| small set | NJ5AWTQ1GB | unknown | open | Wikidata Q7543576, nLab small set |
| small snub icosicosidodecahedron | XAB28MX9FX | unknown | open | Wikidata Q69362, MathWorld SmallSnubIcosicosidodecahedron |
| Small spin-level compactification | JV30CKZCY7 | 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.00490#ZDAX |
| Small stellapentakis dodecahedron | J886WH8R0B | unknown | open | Wikidata Q7543581, MathWorld SmallStellapentakisDodecahedron |
| small stellated dodecahedron | 4WJDESA8FV | object | open | Wikidata Q1234054, MathWorld SmallStellatedDodecahedron |
| small stellated truncated dodecahedron | DA75B1YCYC | unknown | open | Wikidata Q69360, MathWorld SmallStellatedTruncatedDodecahedron |
| Small targets | T15HJ2VRFV | 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.32140#OSNM |
| small triakis octahedral graph | X7GPQ0K51A | unknown | open | Wikidata Q3115613, House of Graphs 1321, MathWorld SmallTriakisOctahedralGraph |
| small triambic icosahedron | FR79RK5C7B | unknown | open | Wikidata Q7543600, MathWorld SmallTriambicIcosahedron |
| Small tripling implies small powers | BFFZYZ0Y8M | unknown | open | mathlib_overview Combinatorics > Additive combinatorics > Small tripling implies small powers, Mathlib Finset.small_pow_of_small_tripling |
| small, set | JWNGCEMCVJ | concept | open | hott_book index/2.1/small-set |
| small, type | GXBAE4MNY7 | concept | open | hott_book index/u1.u3/small-type |
| Small-$s$ accuracy | SVVJ9H46WZ | 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.14069#SVLP |
| Small-$x$ normalization | SG6VY7W32J | 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 2509.22289#22QV |
| Small-amplitude pressure fronts | GJT7E816MW | 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.28024#PH6E |
| Small-ball anticoncentration | Y69AMX4P6H | 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.08708#T6HB |
| Small-boundary Bellman inequality | DXARMPBQGG | 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#VKMB |
| Small-budget expansion of the reweighting problem | B8RG6580C8 | 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.07162#0JAT |
| Small-complement cases | PJQ1NS6N28 | 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.20649#G9RZ |
| Small-defect counting | KW3ZR9CQK8 | 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.02216#0MD7 |
| Small-discriminant non-escape | RPR3DNFR2W | problem | 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.33027#RTY1 |
| Small-distortion normalization | 8JC5RD87J7 | 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.28014#0R96 |
| Small-gain closure | 4SZW2N7CKA | 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.34938#XRFN |
| Small-job contribution | 43QGWTZ29G | 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.17329#0K12 |
| Small-job pathwise reduction | SABN9NZKY2 | 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.17329#GTHM |
| Small-mass criterion in mixed norms | RMSNY3581Z | 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.13613#RS5J |
| Small-mean region | KD0B01NXKH | 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#K107 |
| Small-order coefficients | 5DF52DNSXP | 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.09602#TKQG |
| Small-parameter verification for $\PSL(n,q)$ on projective space | QAM0295XK3 | 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.15340#ENML |