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 4801–4900 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| SSD8S52GVF | SSD8S52GVF | exercise | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-6 |
| SSDDG1W0YN | SSDDG1W0YN | exercise | open | ernst_ibl MAAPressVersion/InfiniteSets.tex#prob:someInfiniteSets |
| SSDGYXFYFP | SSDGYXFYFP | 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.35574#LISN |
| SSDYKFQQKS | SSDYKFQQKS | 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.14278#G6F2 |
| SSE2TPF6WE | SSE2TPF6WE | 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.05184#DF9V |
| SSE59HT2KJ | SSE59HT2KJ | 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.10804#8BEC |
| SSEP | W3VFYBTXJZ | 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.24593#JPZC |
| SSGJD8RW2E | SSGJD8RW2E | 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.18094#1CGR |
| SSHGG146KA | SSHGG146KA | 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 2301.04933#EKBZ |
| SSHS7NHTDY | SSHS7NHTDY | 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.28411#T43D |
| SSJ072AQS1 | SSJ072AQS1 | definition | open | open_logic content/set-theory/ord-arithmetic/addition.tex#defn-1 |
| SSJ7111CJJ | SSJ7111CJJ | 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.28357#228C |
| SSJ8GAA6MS | SSJ8GAA6MS | conjecture | 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.19088#874X |
| SSJSY4WR5T | SSJSY4WR5T | 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.18033#GF30 |
| SSJTJ3KAZX | SSJTJ3KAZX | 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.20316#JG71 |
| SSK5A9HSN4 | SSK5A9HSN4 | 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 2511.05069#LGJH |
| SSKAGV20KW | SSKAGV20KW | 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.04046#1EQN |
| SSKF6MYER2 | SSKF6MYER2 | 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.25823#CHSB |
| SSKVMS2X2B | SSKVMS2X2B | 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.33250#T9PM |
| SSM client heterogeneity bound under total variation | D8Q21XSD54 | 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.02659#DTH3 |
| SSM Convergence Rate under Distributed Learning | ARBAWDZD02 | 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.02659#GN18 |
| SSM Convergence under Distributed Learning | BRFRET7J8P | 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.02659#DCDL |
| SSM Gradient Bound | DJ3VE8V5BX | 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.02659#AYE1 |
| SSM loss gradient second-moment constant | H21B9DVTZZ | 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.02659#7C87 |
| SSM Stability | SQZ0F0GZEX | 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.02659#SNHA |
| SSM stochastic gradient variance bound | BFS1VKYZ9F | 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.02659#MICN |
| SSM33MWBFC | SSM33MWBFC | 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.17100#KAD8 |
| SSNVTCAKMX | SSNVTCAKMX | exercise | open | napkin tex/H113/quotient.tex#problem-6 |
| SSP0NQTCSH | SSP0NQTCSH | 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#C4KO |
| SSP20NXFG5 | SSP20NXFG5 | 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.01208#MECN |
| SSP2VT50K3 | SSP2VT50K3 | 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.20801#RZVE |
| SSP8XXT9J4 | SSP8XXT9J4 | 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 2310.17520#KNHY |
| SSQ approximation of the RDF | Q7WP6CD36T | 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.15549#IBT6 |
| SSQ71M6H51 | SSQ71M6H51 | 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.18929#HTZL |
| SSQ8YPCKZ0 | SSQ8YPCKZ0 | 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.12736#JDQ1 |
| SSQHK0K6Y3 | SSQHK0K6Y3 | 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.32233#CEFO |
| sSQP for CPLQ penalty functions | VTGWH2ZDQJ | 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 2610.13741#6SW2 |
| SSR4XRXJMP | SSR4XRXJMP | 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.16554#TUJI |
| SSR5CR6PBP | SSR5CR6PBP | 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.16877#XFO5 |
| SSRCGH2AEV | SSRCGH2AEV | 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.20801#MYA7 |
| SSRRKEA0HZ | SSRRKEA0HZ | 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.11481#EEX4 |
| SSS representation of LTI-SDE-induced kernels | MF851G7XNB | 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.05856#R4X0 |
| SSSEKQ5DY1 | SSSEKQ5DY1 | statement | open | hott_book basics.tex#thm:path-prod |
| SST1KW21R5 | SST1KW21R5 | 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#V104 |
| SSTRN6KBPQ | SSTRN6KBPQ | 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.01888#8C9R |
| SSV19B3CM4 | SSV19B3CM4 | 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.31274#MXMI |
| SSVGE4RZC5 | SSVGE4RZC5 | 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 2103.08272#NGMD |
| SSVQP9JW2B | SSVQP9JW2B | 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 math/0312342#3RCX |
| SSW6483JFF | SSW6483JFF | 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 2610.00247#G55R |
| SSW7972WKM | SSW7972WKM | conjecture | 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.36045#38JL |
| SSW9MNFZCZ | SSW9MNFZCZ | 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.15472#OM22 |
| SSWVG9A86E | SSWVG9A86E | statement | open | lebl_ra ch-seq-ser.tex#prop:supinfseq |
| SSYNHTH32V | SSYNHTH32V | 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.01932#WI2G |
| SSYY9FKA8Q | SSYY9FKA8Q | 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.37520#8NN2 |
| SSZ5W4G8M1 | SSZ5W4G8M1 | 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.17060#WG88 |
| SSZ77279Z8 | SSZ77279Z8 | unknown | open | arXiv 2610.13680#53W8 |
| SSZ8SVE67F | SSZ8SVE67F | 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#FLHG |
| SSZDJR1702 | SSZDJR1702 | 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 2204.01073#MZK4 |
| SSZMP5GVN8 | SSZMP5GVN8 | 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 2606.22882#9J2V |
| St. Petersburg paradox | 69MZSPK5FG | concept | open | Wikidata Q874375, MathWorld SaintPetersburgParadox |
| ST02GTDBBV | ST02GTDBBV | 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.02017#Y93B |
| ST0KHDJXDM | ST0KHDJXDM | 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.26521#G6L8 |
| ST172BFGVP | ST172BFGVP | 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.31445#CY8P |
| ST1CDECXMZ | ST1CDECXMZ | 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.27078#JGSI |
| ST1H9QX00W | ST1H9QX00W | 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 2312.14445#1LXK |
| ST1NF2QJW2 | ST1NF2QJW2 | 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.11082#8LK1 |
| ST1NP69JVE | ST1NP69JVE | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-60 |
| ST25MDDEGB | ST25MDDEGB | exercise | open | hott_book basics.tex#ex:eqvboolbool |
| ST3ADJ3CPR | ST3ADJ3CPR | 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 2006.12475#O6ST |
| ST4289YP4N | ST4289YP4N | 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.05146#CHJL |
| ST5528FKF9 | ST5528FKF9 | 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.26996#RXUL |
| ST5X3TANRJ | ST5X3TANRJ | 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.09324#ID01 |
| ST64T5NNK2 | ST64T5NNK2 | 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.29304#2O5K |
| ST705AHHGW | ST705AHHGW | 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.33313#AVJ8 |
| ST74FKQP27 | ST74FKQP27 | 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.29631#B7AG |
| ST7Z5BT678 | ST7Z5BT678 | 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.16886#WRFV |
| ST8B7EW9C2 | ST8B7EW9C2 | 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.31523#FJ15 |
| ST8K1JVRVP | ST8K1JVRVP | proof | open | open_logic content/methods/proofs/inference-patterns.tex#proof-3 |
| ST8W2HZ52A | ST8W2HZ52A | 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.21231#A2UE |
| ST8XKD0V3H | ST8XKD0V3H | 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.25188#19KD |
| ST9AP0NE73 | ST9AP0NE73 | 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.31489#41CY |
| ST9HS0JCZD | ST9HS0JCZD | 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.07092#FQ03 |
| ST9HZ6119P | ST9HZ6119P | 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.26713#CW9D |
| ST9KSZSG6D | ST9KSZSG6D | 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.36444#NN2F |
| ST9KX1B1ZW | ST9KX1B1ZW | 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.31327#9XRU |
| ST9WZZDF2T | ST9WZZDF2T | 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.28295#9D3U |
| St\"{o}hr | 7J4WNKPB8P | 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.19470#2K8I |
| St\u{a}nic\u{a}'s Binomial Bounds | K9R3QQ3FY4 | 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.07671#ITUF |
| STAA5DG03Q | STAA5DG03Q | 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.35030#JE5G |
| STAA9SR8SY | STAA9SR8SY | 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 2111.14143#Q6NN |
| Stability | 4HM4RNFECG | 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 2505.10801#IX6F |
| Stability | 9NWKKTEFKT | 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.01504#L6UD |
| stability | 9T09AJDVJB | unknown | open | mathlib_undergrad Numerical Analysis > Ordinary differential equations > stability |
| Stability | A4286313YB | 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.06490#4VOU |
| Stability | C0R3XKWSKD | 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.19273#C7SE |
| Stability | C63YK1JC5V | 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.20910#X1GW |
| Stability | GHHEB5MVRD | 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.01015#DA4Z |
| Stability | J831FSMZ8X | 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.18270#QGMO |
| Stability | M46J5WNAR9 | 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.36309#6XDN |
| Stability | MQ5BT4N2PR | 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 1303.4328#OFNC |