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 6801–6900 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| SYXECNMBMW | SYXECNMBMW | 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.10930#DLSX |
| SYXKYKEN8G | SYXKYKEN8G | statement | open | lebl_ra ch-approximate.tex#cor-6 |
| SYXVX8GKX7 | SYXVX8GKX7 | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-31 |
| SYYBZYW619 | SYYBZYW619 | 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 2304.02722#KBOI |
| SYYP5VR4TD | SYYP5VR4TD | 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.21103#AAIC |
| SYZ08RB80A | SYZ08RB80A | 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.03340#JR2A |
| SYZDV564V0 | SYZDV564V0 | 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.37520#Q6ZN |
| SYZFS7V1K8 | SYZFS7V1K8 | 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.17769#57U7 |
| SYZG17VX03 | SYZG17VX03 | 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.38068#O4IV |
| SYZQ0ZJZB0 | SYZQ0ZJZB0 | 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.07401#ERNK |
| syzygy | N8N94GDDT5 | concept | open | Wikidata Q2377256, MathWorld Syzygy |
| Sz.-Nagy's dilation theorem | EYFTWDR467 | statement | open | mathlib_1000 Q7664013, Wikidata Q7664013, thousand_plus Q7664013, Wikipedia Sz.-Nagy's dilation theorem |
| SZ0EBGVKDP | SZ0EBGVKDP | 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.17817#ILPH |
| SZ1BVY2AGX | SZ1BVY2AGX | exercise | open | lebl_diffyqs ch-nonlin-systems.tex#exercise-11 |
| SZ1F4YC994 | SZ1F4YC994 | 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.02489#PMDL |
| SZ1GB9J13H | SZ1GB9J13H | 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.07293#Q3BA |
| SZ1N7HV5S9 | SZ1N7HV5S9 | 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.13972#ZM6V |
| SZ1WPHPHBY | SZ1WPHPHBY | 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 2211.14629#VSDZ |
| SZ2S2AYHP8 | SZ2S2AYHP8 | 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.16203#4SN6 |
| SZ2SDGEHW1 | SZ2SDGEHW1 | 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.22109#LGAT |
| SZ2WD42ACA | SZ2WD42ACA | 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.04498#C41O |
| SZ3AM9MBMF | SZ3AM9MBMF | 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.09300#M2FP |
| SZ3NGB55WZ | SZ3NGB55WZ | 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.25015#VCEQ |
| SZ48BZF1YD | SZ48BZF1YD | 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.13076#XMYC |
| SZ4KRAW2SA | SZ4KRAW2SA | 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.07695#B1QZ |
| SZ4V2F6TGH | SZ4V2F6TGH | 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.24701#73K3 |
| SZ4WB4XNF2 | SZ4WB4XNF2 | 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.15111#XRU0 |
| SZ54MY1X6E | SZ54MY1X6E | 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.24795#5NPE |
| SZ5HHEJ6JJ | SZ5HHEJ6JJ | exercise | open | open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-4 |
| SZ70QZ92AA | SZ70QZ92AA | 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 2008.10035#WWC4 |
| SZ74XJ9ZB8 | SZ74XJ9ZB8 | exercise | open | napkin tex/H113/grp-intro.tex#exercise-2 |
| SZ7EDKCWEN | SZ7EDKCWEN | 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#D1WL |
| SZ854CPR00 | SZ854CPR00 | statement | open | open_logic content/first-order-logic/natural-deduction/provability-quantifiers.tex#prop:provability-quantifiers |
| SZ8QTGW4SJ | SZ8QTGW4SJ | 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.39700#YFLM |
| SZ8Y40W2A9 | SZ8Y40W2A9 | 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 2405.13323#JE1B |
| SZ9SR71XWK | SZ9SR71XWK | 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.14455#02H0 |
| SZ9X31ZYRA | SZ9X31ZYRA | 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.14374#Z3YU |
| Sz\'ekelyhidi | 2VCT18HM8Y | 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.39726#PL20 |
| Sz\'ekelyhidi | PDZG08W838 | 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.21934#VSVW |
| Szachniewicz | T02HFE657B | 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.39505#ZCA0 |
| SZANMBGYSZ | SZANMBGYSZ | 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.30262#9IEU |
| SZBTEH8F2E | SZBTEH8F2E | 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.06338#QAKQ |
| SZC87QM1TA | SZC87QM1TA | 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 2506.07061#F4WM |
| SZC8AEEVXT | SZC8AEEVXT | 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 2504.02065#26DQ |
| SZCGGFZR1X | SZCGGFZR1X | 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.21960#7U6K |
| SZD73TYS79 | SZD73TYS79 | 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 2508.21045#ZQAG |
| SZD875TKM8 | SZD875TKM8 | 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.22082#XX1R |
| SZD8KCNY72 | SZD8KCNY72 | 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.25967#R3BN |
| Sze-Tsen Hu | 6Q5VG1RMEN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q21604664, nLab Sze-Tsen Hu, ProofWiki Mathematician:Sze-Tsen_Hu |
| SZEC0XKWWD | SZEC0XKWWD | 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.03612#J304 |
| Szeg\"{o}-type Theorem, p: 248 | 50B6MEWXDK | 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 1709.04968#I5BX |
| Szeg\Ho kernel, unit disc | JVGVEDRF6F | concept | open | lebl_scv index/5.2/szeg-ho-kernel-unit-disc |
| Szegedy's four-point case | 32YPD47MSJ | 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.26576#XEUF |
| Szegő limit theorems | BWEBY83G7Y | statement | open | mathlib_1000 Q3458641, Wikidata Q3458641, thousand_plus Q3458641, Wikipedia Szegő limit theorems |
| Szekeres snark | Z9JJYNGQ5D | concept | open | Wikidata Q3487139, House of Graphs 1338, MathWorld SzekeresSnark |
| Szemer\'edi Graph Regularity Lemma | 6J1ZQ8E6YB | 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.38772#TTWS |
| Szemer\'{e}di 1975 | W04V0RSB38 | 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.28898#AJ13 |
| Szemerédi | 4R60T4HVC5 | statement | open | applied_combinatorics source/s_kitchensink_online.ptx#theorem-2 |
| Szemerédi's theorem | WHHQH7W3GN | statement | open | mathlib_1000 Q1046232, Wikidata Q1046232, thousand_plus Q1046232, Wikipedia Szemerédi's theorem, MathWorld SzemeredisTheorem |
| Szemerédi–Trotter theorem | JE7VKGS1FV | statement | open | mathlib_1000 Q721695, Wikidata Q721695, thousand_plus Q721695, Wikipedia Szemerédi–Trotter theorem |
| SZFAT1DJE8 | SZFAT1DJE8 | 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.12169#INS6 |
| SZFS9W9AXJ | SZFS9W9AXJ | 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#8WJ7 |
| SZFWFC8GG9 | SZFWFC8GG9 | 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.26479#BIPH |
| SZFWZGYBKP | SZFWZGYBKP | 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#1FYO |
| SZGA9WRSRT | SZGA9WRSRT | 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.29878#XNQZ |
| SZGTXNPKWA | SZGTXNPKWA | 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 1806.00752#U52S |
| SZH3BVM39S | SZH3BVM39S | exercise | open | lebl_ra ch-der.tex#exercise:samediffconst |
| SZH4G4JA3D | SZH4G4JA3D | 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.01915#AE55 |
| SZHDGDWC9S | SZHDGDWC9S | 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.04809#ACSF |
| SZHJQPRFTZ | SZHJQPRFTZ | 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.39269#HQFI |
| SZHPW2V03X | SZHPW2V03X | 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#PQ83 |
| Szilassi polyhedron | J458YPM8NP | unknown | open | Wikidata Q838442, MathWorld SzilassiPolyhedron |
| SZJCP3APPP | SZJCP3APPP | definition | open | hott_book hlevels.tex#defn-3 |
| SZJMFWGXA9 | SZJMFWGXA9 | 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.04063#MIPQ |
| SZJSV3DSZ4 | SZJSV3DSZ4 | 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.07240#0ACV |
| SZK0CNKR4K | SZK0CNKR4K | 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.08193#VLR6 |
| SZMXXRDRTE | SZMXXRDRTE | statement | open | napkin tex/linalg/fourier.tex#corollary-2 |
| SZNBW926RV | SZNBW926RV | statement | open | hott_book equivalences.tex#thm:hae-hprop |
| SZNVBN0ZKQ | SZNVBN0ZKQ | 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.12489#84A3 |
| SZNVD2ZVYN | SZNVD2ZVYN | 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.08480#NL74 |
| SZNWC8AY69 | SZNWC8AY69 | 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.12857#O03T |
| SZPFFG45V0 | SZPFFG45V0 | 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.25289#OBGO |
| Szpilrajn extension theorem | DRZQG34P78 | statement | open | mathlib_1000 Q869647, Mathlib extend_partialOrder, Wikidata Q869647, thousand_plus Q869647, Wikipedia Szpilrajn extension theorem |
| Szpiro's conjecture | 213A3F6QHG | conjecture | open | Wikidata Q829242, MathWorld SzpirosConjecture, nLab Szpiro's conjecture |
| SZPK2WJHC0 | SZPK2WJHC0 | 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 2311.00585#2DUL |
| SZPNTGPRBC | SZPNTGPRBC | 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 2410.22607#1ZY6 |
| SZQAJCPFZ9 | SZQAJCPFZ9 | 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.12295#H9O7 |
| SZQYFB83AH | SZQYFB83AH | 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 2504.18390#5XZS |
| SZR2NA1ZJ0 | SZR2NA1ZJ0 | 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.20170#AO4Z |
| SZR799HHBH | SZR799HHBH | exercise | open | lebl_scv scv.tex#exercise-22 |
| SZRTHBF0KG | SZRTHBF0KG | 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.20568#E4GB |
| SZSBWS17KE | SZSBWS17KE | 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.18859#KRZX |
| SZSMXRN37R | SZSMXRN37R | 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.14217#CJIP |
| SZSSK1YTKW | SZSSK1YTKW | 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 2603.28861#DTIR |
| SZSWBD23FQ | SZSWBD23FQ | 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.26762#GHEW |
| SZT0AA7Y39 | SZT0AA7Y39 | 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 2504.04729#Y5HV |
| SZTHX5FKKG | SZTHX5FKKG | 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.16727#CC6T |
| SZV018FJFZ | SZV018FJFZ | 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.34011#4R6H |
| SZV4A79MYN | SZV4A79MYN | 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.04046#RJZO |
| SZVCHVMBPC | SZVCHVMBPC | 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 0903.0651#5APC |