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 5801–5900 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Structure theorem for factorial amenable II$_1$ tracially complete $C^*$-algebras | ZNNNB5TX8F | 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.09390#7DHC |
| structure theorem for finitely generated modules over a principal ideal domain | 1M72DYVPT0 | statement | open | mathlib_1000 Q7888360, Mathlib Module.equiv_free_prod_directSum, Wikidata Q7888360, mathlib_overview Linear algebra > Finitely generated modules over a PID > structure theorem, thousand_plus Q7888360, Wikipedia Structure theorem for finitely generated modules over a principal ideal domain, nLab structure theorem for finitely generated modules over a principal ideal domain |
| Structure theorem for Gaussian measures | DG939ZMSN3 | statement | open | mathlib_1000 Q7625164, Wikidata Q7625164, thousand_plus Q7625164, Wikipedia Structure theorem for Gaussian measures |
| structure under a general norm gap | Z6K0MVMHGN | 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.27458#1JXJ |
| structure, identity principle | Y2JR36XK34 | concept | open | hott_book index/2.8/structure-identity-principle |
| structure, semigroup | E2J47X44E6 | concept | open | hott_book index/1.14/structure-semigroup |
| Structured program theorem | WTPGTBQ7NF | statement | open | mathlib_1000 Q2635326, Wikidata Q2635326, thousand_plus Q2635326, Wikipedia Structured program theorem |
| Structured Schmidt subfamily | H9XFY1PETW | 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.15815#CO7O |
| Struve function | 4XNWRZ0QCN | unknown | open | Wikidata Q2607374, EoM Struve_function, MathWorld StruveFunction |
| STRW27R3F9 | STRW27R3F9 | 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.24185#BX5J |
| STS3CHSXDA | STS3CHSXDA | 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.14060#CLZ4 |
| STS600RJS4 | STS600RJS4 | 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.17626#UI3N |
| STSCRQ5FTY | STSCRQ5FTY | 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.18335#F5M6 |
| STSQ24RS2K | STSQ24RS2K | 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 2510.12502#RMUN |
| STT4VXWS4C | STT4VXWS4C | unknown | open | arXiv 2609.28893#XJYO |
| STTBF581SC | STTBF581SC | 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.20165#KL1Z |
| STTRKVCEZZ | STTRKVCEZZ | 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.28742#IMQC |
| STTY8MBM74 | STTY8MBM74 | 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.03677#SC4L |
| Stuart Arthur Rice | JYY4G27E7F | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q55720063, EoM Rice,_Stuart_Arthur |
| Stuart Hameroff | 6SVS2VKWK2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q516774, nLab Stuart Hameroff |
| Student's t-distribution | 939GRDJF95 | unknown | node (a node has the same name as the row) | Wikidata Q576072, MathWorld Studentst-Distribution |
| Sturm phase identities | S0ZN8TDNE4 | 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.21268#V6EJ |
| Sturm's theorem | XJR3QFJC64 | statement | open | mathlib_1000 Q1632301, Wikidata Q1632301, thousand_plus Q1632301, Wikipedia Sturm's theorem, MathWorld SturmTheorem |
| Sturm--Liouville problem, regular | 6JZ4F4PDY6 | concept | open | lebl_diffyqs index/3.1.1/sturm-liouville-problem-regular |
| Sturm–Liouville equation | 2KTKT538QA | concept | open | Wikidata Q6401153, MathWorld Sturm-LiouvilleEquation, ProofWiki Definition:Sturm-Liouville_Equation |
| Sturm–Liouville theory | VFQR4R3JZW | concept | open | Wikidata Q1154082, nLab Sturm-Liouville theory, ProofWiki Definition:Sturm-Liouville_Theory |
| Sturm–Picone comparison theorem | YGS1Z5H9ZG | statement | open | mathlib_1000 Q3983968, Wikidata Q3983968, thousand_plus Q3983968, Wikipedia Sturm–Picone comparison theorem |
| Stutters are far apart; Verhoeff {\rm | 7H6FD4B3TT | 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.01240#3AD2 |
| STVDPH7H0J | STVDPH7H0J | 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 1903.07030#BVGL |
| STVM6RAEBC | STVM6RAEBC | 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.07122#FM82 |
| STVN8XVVNX | STVN8XVVNX | 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.25004#TBSE |
| STW3QTZY1F | STW3QTZY1F | 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.07290#I699 |
| STWM5EWMPM | STWM5EWMPM | 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.38953#TCQ9 |
| STX9C0GPMQ | STX9C0GPMQ | 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.03437#MT15 |
| STXAQHRXBA | STXAQHRXBA | 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.09812#O313 |
| STXCKNZNRB | STXCKNZNRB | 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 2510.23812#OYI5 |
| STY6SAT9JG | STY6SAT9JG | 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.27931#DOD2 |
| STYB46CXDE | STYB46CXDE | 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.35180#KUC4 |
| STYC7RDWSV | STYC7RDWSV | 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 2411.07061#RDWC |
| STYMCQWEH9 | STYMCQWEH9 | 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 2404.05451#VEYB |
| STZ7E96G8W | STZ7E96G8W | 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.30285#7UQS |
| STZD77M3DC | STZD77M3DC | 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.07240#X6IA |
| STZV6VSR15 | STZV6VSR15 | 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.10221#R6YF |
| Sub-additivity in the gains tail | X2ESJ5T6TM | 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.31345#TYDL |
| Sub-blocks and global blocks | TWCCQTC6RK | 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#3BQT |
| Sub-distance | QF8HJGYCY6 | 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.05867#P8WB |
| Sub-distance property | WM4RAWP2N9 | 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.05867#RZYI |
| Sub-exponential property of $\tilde{V}_i$ | N9FQC1MJY6 | 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.10840#H3ET |
| Sub-gaussian concentration of JE weights | C8TMRWXD6P | 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#7HLR |
| Sub-Markovian kernels on Orlicz spaces | Y873CN68PW | 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.08074#3FB7 |
| sub-mean-value property | A5M1ZKVDBH | concept | open | lebl_scv index/2.4/sub-mean-value-property |
| Sub-Riemannian geodesic orbit manifolds | Z6KFC3BDRP | 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.11292#G99G |
| Sub-Weibull deviation under generalized-exponential $\alpha$-mixing | RQ8EGNZ2X8 | 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.36594#CNTL |
| Subadditivity fails, even comonotonically | B1WC3AMRCV | 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.08821#SA13 |
| Subadditivity of Value-at-Risk in loss tail | MM57PNSDFJ | 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.31345#SF22 |
| subbase | X68DQ979EQ | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q2739990, MathWorld Subbasis |
| Subbotin targets below the Gaussian threshold | AEM98PYSJB | 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.25380#Q4AL |
| Subchannel AEP | BTNV4GFAEE | 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.28635#E9WZ |
| Subcode distances | SSRQH5Z203 | 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.03460#08Q2 |
| subcomplex inclusions | WVRWF3TH0R | 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.15099#GAVI |
| subconfiguration obstruction | DNJ1Z8XE99 | 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.04000#PJSX |
| Subcritical | ZHMGFAY0JD | 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.28552#EQYJ |
| Subcritical comparison principle | CC3QJZGASX | 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.12165#J35N |
| Subcritical convergence and critical defects | 32JVE0RMYT | 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.24930#PUD4 |
| Subcritical fixed flag | 6Y9YZERGV1 | 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.40252#PYN8 |
| Subcritical fractional Lane--Emden Liouville theorem | ATZXPWT45A | 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.10188#C9S1 |
| Subcritical Sobolev embedding | T7WMWSVR86 | 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.09001#4N46 |
| Subdifferential | 4NK5GZF394 | 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.17519#JC9N |
| Subdifferential Consistency | 3W0WZSS5Q3 | 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.37489#UWCC |
| Subdifferential images | 65YHPJRD12 | 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.17519#TXRY |
| subdifferential of the modular | 1QRDRS9RP8 | 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#ZKNU |
| Subdifferential orthogonal to level set | WTVRS2PJPX | 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 2409.03461#0FY5 |
| Subdirect Brandt representation | 6661E0FFMF | 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#ZG8B |
| Subdirect product | YBB2MCW9NY | topic | open | Wikidata Q1691827 |
| Subdivision chain equivalence | 8C645PAXF5 | 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.27799#3BG9 |
| subdivision of a graph | HCXC60C5VA | definition | open | Wikidata Q6134791, MathWorld GraphSubdivision, ProofWiki Definition:Subdivision_(Graph_Theory) |
| subdivision, elementary | E9YJM37GE6 | concept | open | applied_combinatorics index/5.5/subdivision-elementary |
| Subexponential boundary control | AV4PCV3SZ2 | 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.25060#X007 |
| Subexponentiality and Kesten bound for the return density | 78YASTJGKT | 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.27335#NKFC |
| subfactorial | 2A8W36V4QG | concept | open | Wikidata Q2361661, MathWorld Subfactorial, OEIS A000166 |
| subfield | 1160XYH8J8 | unknown | open | Wikidata Q91327913, MathWorld Subfield |
| subfield | 79VP79ZT44 | unknown | open | mathlib_overview General algebra > Field theory > subfield, Mathlib Subfield, mathlib_undergrad Ring Theory > Field Theory > Subfields |
| subfunctor | WC262DRT0N | unknown | open | Wikidata Q7631142, nLab subfunctor |
| Subgaussian convex-order comparison | WFPPN6MX4P | 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.07876#AN0F |
| Subgaussian Distributions | CV8SN2WYHX | 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.30105#FMCX |
| Subgradient fallback under (A.I | MRRH3DQ776 | 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.36090#4P62 |
| Subgradient of the Lorentzian distance to a point | 2D6MSJ13MW | 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.10051#JX3F |
| Subgradient of the weight objective | KWPD9ET1WM | 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.13773#C0TK |
| Subgradient recovery | GW261DR3B0 | 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.38228#07MH |
| Subgradient Tracking \& Quantized Drift Bound | PQNG98THG0 | 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.00738#Y53K |
| Subgradients of the Fenchel potential | JBDVZT0JTV | 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.28306#FBNL |
| subgraph | 8XS7EHJ6G0 | concept | open | applied_combinatorics index/5.1/subgraph |
| subgraph | GANQGSNNZT | definition | open | Wikidata Q7631151, MathWorld Subgraph, ProofWiki Definition:Subgraph |
| subgraph | RFFDQPWZB2 | concept | open | levin_dmoi index/5.1/subgraph |
| subgraph, induced | 3FEEP6K08Q | concept | open | applied_combinatorics index/5.1/subgraph-induced |
| subgraph, induced | A3FGR57SNK | concept | open | levin_dmoi index/5.1/subgraph-induced |
| subgraph, spanning | VJ4BGQ109R | concept | open | applied_combinatorics index/5.1/subgraph-spanning |
| subgroup | ZDDVCQCYB4 | definition | node (a node has the same Wikidata item as the row) | mathlib_overview General algebra > Group theory > subgroup, Mathlib Subgroup, mathlib_undergrad Group Theory > Basic definitions > subgroup, Wikidata Q466109, EoM Subgroup, LMFDB knowl group.subgroup, MathWorld Subgroup, nLab subgroup, ProofWiki Definition:Subgroup |
| subgroup bound | PNVA9ZTR7H | 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.07508#VCUP |
| subgroup generated by a subset | 120ECZQBX2 | unknown | node (a node has the same name as the row) | mathlib_overview General algebra > Group theory > subgroup generated by a subset, Mathlib Subgroup.closure, mathlib_undergrad Group Theory > Basic definitions > subgroup generated by a subset |