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 1801–1900 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| sedenion | Y8FWCHKND2 | unknown | open | Wikidata Q79188, nLab sedenion |
| SEDGKTZBG9 | SEDGKTZBG9 | 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 2503.08018#YFX0 |
| SEDP0RKM4M | SEDP0RKM4M | 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 2210.17066#7HZ4 |
| SEDQY006WJ | SEDQY006WJ | 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.07541#VAEM |
| SEEB7Z9NZ5 | SEEB7Z9NZ5 | 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.20259#UA4B |
| Seed | 5B05180GVN | 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.30637#ASB0 |
| Seed | GSYWVRNW3H | 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.17441#G9LK |
| Seed equivalence | G28S0DWXVT | 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.17441#YTY3 |
| Seed rigidity | 9RR33GGMV0 | 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.17441#MFU7 |
| seeded condenser for affine sources | FANPCKE50B | 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.32834#XKKW |
| seesaw mechanism | XCBXWKN02B | unknown | open | Wikidata Q1094257, nLab seesaw mechanism |
| SEEYHSWG4R | SEEYHSWG4R | 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#QG10 |
| SEF1HEATE5 | SEF1HEATE5 | 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#I1ZV |
| SEF4R2B6BR | SEF4R2B6BR | 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.01915#VEFF |
| SEFQDTT9A4 | SEFQDTT9A4 | 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.28282#1XQ9 |
| SEFWTPNC5S | SEFWTPNC5S | 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.32300#KU2I |
| Segal category | F289G7GGJ9 | unknown | open | Wikidata Q7446188, nLab Segal category |
| Segal space | KQQTCT3JN4 | unknown | open | Wikidata Q7446190, nLab Segal space |
| Segal, category | RKVEDZNQMK | concept | open | hott_book index/2.9/segal-category |
| Segal, space | AQCVKH5GFJ | concept | open | hott_book index/2.9/segal-space |
| SEGM2XND9Z | SEGM2XND9Z | 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.13532#I9ZQ |
| segment lemma | BST3MWYTJR | 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.01029#Q9RT |
| Segment moment bounds | RS3BPA2GFW | 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.37944#740A |
| Segre characteristic | TY014TMWG4 | concept | open | Wikidata Q121120103, EoM Segre_characteristic_of_a_square_matrix, MathWorld SegreCharacteristic |
| Segre classification | SRRH9NZHS9 | concept | open | Wikidata Q7446318, EoM Segre classification |
| Segre construction at all multiplicities | 39SGMSWB40 | 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.08252#YNFE |
| Segre numbers | 4SM94Z4AGK | 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.07528#0NFG |
| SEHXHJVKRF | SEHXHJVKRF | 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.32282#PMPS |
| Seiberg duality | TABTWSNSJP | unknown | open | Wikidata Q7446564, nLab Seiberg duality |
| Seiberg–Witten equations | GPEX353EHE | unknown | open | Wikidata Q121120180, EoM Seiberg-Witten_equations, MathWorld Seiberg-WittenEquations |
| Seiberg–Witten invariant | HDK8RSTD0N | unknown | open | Wikidata Q7446569, MathWorld WittensEquations |
| Seidenberg | VM1MES3Q0D | 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.01520#A3CN |
| Seidenberg's theorem | ZYV1AFKGEN | 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 2103.12669#CESG |
| Seifert conjecture | F705M49BBP | concept | open | Wikidata Q376443, MathWorld SeifertConjecture |
| Seifert fiber space | F58GD7621C | concept | open | Wikidata Q1935541, EoM Seifert_fibration |
| Seifert matrix | 7Z6F5P07JC | concept | open | Wikidata Q121120498, EoM Seifert_matrix, MathWorld SeifertMatrix, ProofWiki Definition:Seifert_Matrix |
| Seifert pairing | 2QY62X6CYC | 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 2311.01874#11O7 |
| Seifert state and Seifert resolution | 70R3SNMDD6 | 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.08583#O5KR |
| Seifert surface | 1BT1SMDTTD | concept | open | Wikidata Q1554293, MathWorld SeifertSurface, nLab Seifert surface |
| Seifert-van Kampen theorem for graphs | AACSA82E4V | 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.03497#NVRS |
| Seifert–van Kampen theorem | TAVQHM0967 | statement | open | mathlib_1000 Q372037, Wikidata Q372037, thousand_plus Q372037, Wikipedia Seifert–van Kampen theorem, MathWorld vanKampensTheorem, nLab van Kampen theorem, ProofWiki Seifert-van_Kampen_Theorem |
| Seiffert's spiral | C7WFFE48Y0 | unknown | open | Wikidata Q25099499, MathWorld SeiffertsSphericalSpiral |
| seismology | SN493GSEYK | topic | open | Wikidata Q83371 |
| SEJ1Y2M6RT | SEJ1Y2M6RT | 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 2608.23797#NG7J |
| SEJGSQRQ88 | SEJGSQRQ88 | 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.10372#ORNU |
| SEK2C5MM6G | SEK2C5MM6G | example | open | lebl_diffyqs ch-first-order-ode.tex#exact:exampleabove |
| SEK8Y0CBEM | SEK8Y0CBEM | 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.04466#N8HL |
| SEKNYJ5H7B | SEKNYJ5H7B | 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.10964#7UE0 |
| Sela's theorem | JWMVFD1Q79 | statement | open | mathlib_1000 Q207244, Wikidata Q207244, thousand_plus Q207244 |
| Selberg class | QHZJ6TY6NV | unknown | open | Wikidata Q7447524, LMFDB knowl lfunction.selberg_class |
| Selberg integral | PWNCHS7TW3 | concept | open | Wikidata Q7447525, nLab Selberg integral |
| Selberg trace formula | 9N3WK3TDAQ | statement | open | Wikidata Q3077649, MathWorld SelbergTraceFormula, nLab Selberg trace formula |
| Selberg zeta function | F7VZ1T0KGN | unknown | open | Wikidata Q3075282, MathWorld SelbergZetaFunction, nLab Selberg zeta function |
| Selected cyclic products | P4R4DTPG8S | 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.26066#DWFA |
| Selected function | BZ5PQ7RFBZ | 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.29597#MG4G |
| Selected mean geometry | AXPTSBHZAM | 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.11309#S45I |
| Selected-direction ordering | MXX69H3V5B | 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.11309#XJVX |
| Selecting a good block | 6DAC9PP49W | 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#O1WL |
| Selecting checkpoints for repair | S4ZCBVAMRM | 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.26873#SLXB |
| Selection by three averages | KXC3SBAHV7 | 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.12434#4EZN |
| Selection of the modular block | TWW4M39YMD | 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.12434#14E9 |
| Selection on the tilts moves the target | Z8930G1F2Z | 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.04671#54O7 |
| selection sort | 4R4SD2F45Q | unknown | open | Wikidata Q220831, MathWorld SelectionSort |
| Selection-balanced exact identification | FYESBGP1D1 | 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.33472#DTTS |
| Selector | 7NSTZS2S7D | 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.32478#4905 |
| Selector closure from full FEI bounds | 9559G2VYAA | 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.16069#4ZYG |
| self number | SCSB6YWAT1 | concept | open | Wikidata Q2623827, MathWorld SelfNumber, OEIS A003052 |
| self-adjoint | FK0AWCA6J1 | unknown | open | Wikidata Q7448009, MathWorld Self-AdjointElement |
| self-adjoint matrix | CVDDNHM0HY | unknown | open | Wikidata Q15847164, MathWorld Self-AdjointMatrix |
| self-adjoint operator | 1FTC8J7H37 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q6500908, EoM Self-adjoint_operator, nLab self-adjoint operator |
| self-adjoint operator | DNQAWP1VN1 | unknown | open | mathlib_overview Analysis > Hilbert spaces > self-adjoint operator, Mathlib IsSelfAdjoint, mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > self-adjoint endomorphism |
| Self-adjoint realization of the features | 4B37NBPD3A | 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.29147#3UCL |
| self-avoiding polygon | 7J9W98Z5XS | unknown | open | Wikidata Q121120796, MathWorld Self-AvoidingPolygon |
| self-avoiding walk | JTDMN4M0NG | unknown | open | Wikidata Q7448025, MathWorld Self-AvoidingWalk |
| Self-bounding lower tail | DCNDQHGGXP | 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.14988#X975 |
| self-complementary graph | B7HEH87C9V | unknown | open | Wikidata Q3736652, MathWorld Self-ComplementaryGraph |
| Self-consistent parameter | 8Y9GCVPJ2T | 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.09044#LFEX |
| self-descriptive number | K38NV7BHDJ | unknown | open | Wikidata Q1781115, MathWorld Self-DescriptiveNumber, OEIS A046043 |
| Self-dual | 1NC418W1RR | unknown | open | Wikidata Q2872559, MathWorld Self-Dual |
| self-dual graph | 563VP38X3C | unknown | open | Wikidata Q3115454, MathWorld Self-DualGraph |
| Self-dual third-order algebraic equation | BHFWEV32BA | 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.31189#SH80 |
| self-dual Yang–Mills theory | MTA2APGKTM | unknown | open | Wikidata Q75195445, nLab self-dual Yang-Mills theory |
| Self-financing property | 39MEJ15RR1 | 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.34474#9TUV |
| self-mapping | KDSWN047RJ | unknown | open | Wikidata Q1691962, MathWorld Self-Map |
| Self-normalized CLT for plug-in quantities | 2T8FNNKRKX | 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.39274#X5MN |
| Self-organization | SC11ZJPYJX | 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/0003117#P9WI |
| self-similar marking of $C_4$ | 869KBMF5HN | 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.00916#GPVO |
| Self-stress | 3HA2B2HNH0 | 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.17004#62U2 |
| Selmer group | JFX3HD86XD | concept | open | Wikidata Q7448760, MathWorld SelmerGroup |
| SEM94R16BF | SEM94R16BF | 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#H11I |
| Semantic --- \textsc{$\lambda$-E | 7YK2S2E0C2 | 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.21131#NDGO |
| Semantic --- \textsc{$\lambda$-I | MAJCECK1N1 | 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.21131#KWKI |
| Semantic --- \textsc{$\Pi$-Wf | J1WYK9E8FH | 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.21131#UN9K |
| Semantic --- \textsc{Ctx-Emp | MHCH3J2FYN | 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.21131#24RG |
| Semantic --- \textsc{Ctx-Ext | 7TFRTSDDAS | 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.21131#BG26 |
| Semantic --- \textsc{N-E | ETKFDSK668 | 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.21131#VZP5 |
| Semantic --- \textsc{N-Wf | 929KBTMF6K | 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.21131#ZP8P |
| Semantic --- \textsc{Su-I | 80ZC1E9W07 | 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.21131#QKR5 |
| Semantic --- \textsc{Subsump | PPPQEW8BVF | 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.21131#JW7J |
| Semantic --- \textsc{U-Wf | QA78JWD43C | 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.21131#C4N3 |