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 5301–5400 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Steiner's problem | PHNA8CDA53 | problem | open | Wikidata Q2912089, MathWorld SteinersProblem |
| Steinerberger | 86DJ2N2ZCA | statement | record (an 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.19729#O68X |
| Steiner–Lehmus theorem | KKTHACJPMW | statement | open | mathlib_1000 Q1631992, Wikidata Q1631992, thousand_plus Q1631992, Wikipedia Steiner–Lehmus theorem, MathWorld Steiner-LehmusTheorem |
| Steinhaus longimeter | 54GRVVM4MH | concept | open | Wikidata Q7606889, MathWorld Longimeter |
| Steinhaus theorem | J8JA89XD4V | statement | open | mathlib_1000 Q3527166, Mathlib MeasureTheory.Measure.div_mem_nhds_one_of_haar_pos, Wikidata Q3527166, thousand_plus Q3527166, Wikipedia Steinhaus theorem |
| Steinhaus–Moser notation | 8GSHYBXAM6 | concept | open | Wikidata Q2092313, MathWorld Steinhaus-MoserNotation |
| Steinitz | TVN7BTMWED | statement | record (an 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.19729#56UH |
| Steinitz's theorem | RY0KEP5EDT | statement | open | mathlib_1000 Q7606897, Wikidata Q7606897, thousand_plus Q7606897, Wikipedia Steinitz theorem, MathWorld SteinitzsTheorem |
| Steinmetz curve | 34K8HAGG09 | unknown | open | Wikidata Q60750719, MathWorld SteinmetzCurve |
| Steinmetz solid | 49WKMG3B4H | unknown | open | Wikidata Q7606915, MathWorld SteinmetzSolid |
| Stein–Strömberg theorem | 655JTXGGBT | statement | open | mathlib_1000 Q7606940, Wikidata Q7606940, thousand_plus Q7606940, Wikipedia Stein–Strömberg theorem |
| stella octangula number | 5MB2WGKJ08 | unknown | open | Wikidata Q3879425, MathWorld StellaOctangulaNumber, OEIS A007588 |
| Stellated dodecahedron | YVD4P38S2D | unknown | open | Wikidata Q70444007, MathWorld DodecahedronStellations |
| Stellated icosahedron | BDYJAG6YY3 | unknown | open | Wikidata Q70445785, MathWorld IcosahedronStellations |
| stellated octahedron | B7ZCPQTJXJ | object | open | Wikidata Q1887384, MathWorld StellaOctangula |
| stellated truncated hexahedron | YVAND0DH8A | unknown | open | Wikidata Q3100393, MathWorld StellatedTruncatedHexahedron |
| stellation | 15ZS42TA3J | unknown | open | Wikidata Q2276802, MathWorld Stellation |
| stem group | 6RY3XJWWFW | unknown | open | Wikidata Q131514319, LMFDB knowl group.stem_group |
| stemplot | NT8E2E2J77 | unknown | open | Wikidata Q737802, MathWorld Stem-and-LeafDiagram |
| Step 1: the constants are admissible | DBMCKZRYAX | statement | record (an 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.27765#EHFB |
| Step 2: each $E_n$ is a conditional \evar | 6ZTAP3HZ7P | statement | record (an 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.27765#G448 |
| Step 3: the conditional \epower equals $c$ at every step | WCVF06DJ3X | statement | record (an 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.27765#RPVP |
| Step 4: after a first-step crash the threshold is unreachable | TZYG3QKPH2 | statement | record (an 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.27765#8QPL |
| step function | ZXGSFK61TQ | definition | node (a node has the same name as the row) | Wikidata Q917657, MathWorld StepFunction, nLab step function, ProofWiki Definition:Step_Function |
| Step-line bidiagonal factorization scheme | X8JA5CTWPT | statement | record (an 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.26110#6TDK |
| Step-line normality | Q1KEFZ0P08 | statement | record (an 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.26110#V6T7 |
| Step-line recurrence matrix | 9BRM1VJXD5 | statement | record (an 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.26110#2O0V |
| Step-line recurrences for the two hypergeometric systems | M0KCCSHKSA | statement | record (an 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.26110#CZIU |
| Step-RRI under Repetitive Reasoning | N5EF7A7VCC | statement | record (an 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.00571#QHAN |
| Step-wise Repetitive Reasoning Index (Step-RRI | R07QNNB935 | 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.00571#O6AC |
| Stephan Stolz | VEXJTXECCW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15455774, nLab Stephan Stolz |
| Stephen Cole Kleene | HT1M8G018W | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q335148, nLab Stephen Kleene |
| Stephen Cook | XJQ7DWFWAS | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q62870, ProofWiki Mathematician:Stephen_Arthur_Cook |
| Stephen Gelbart | 2PFED3FD4A | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2344728, nLab Stephen Gelbart |
| Stephen Halperin | N6QP3WBPW3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15433104, nLab Stephen Halperin |
| Stephen Hawking | 2VS8SNGVTD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q17714, ProofWiki Mathematician:Stephen_William_Hawking |
| Stephen Houlgate | VWWJWPRFBX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q61410057, nLab Stephen Houlgate |
| Stephen S. Kudla | YH20STB2J4 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2345048, nLab Stephen Kudla |
| Stephen Schanuel | 2DMX4MR7FQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q451748, nLab Stephen Schanuel |
| Stephen Shenker | 8QK2RJP1E3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q787109, nLab Stephen Shenker |
| Stephen Smale | RPFW1THK9V | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q315394, nLab Stephen Smale |
| Stephen Summers | RVAW6NJX9F | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q59825487, nLab Stephen Summers |
| Stephens' constant | XAN6AYH374 | object | open | Wikidata Q55731272, MathWorld StephensConstant, OEIS A065478 |
| Stephon Alexander | EGXTN358GY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q28228095, nLab Stephon Alexander |
| steradian | 65969W9F40 | unknown | open | Wikidata Q177612, MathWorld Steradian |
| stereogram | G0KWBZ2RGA | unknown | open | Wikidata Q1083936, MathWorld Stereogram |
| stereographic projection | 1H458CA7K2 | unknown | open | Wikidata Q866099, MathWorld StereographicProjection, nLab stereographic projection |
| stereology | YW3HDRG4HP | concept | open | Wikidata Q1598902, MathWorld Stereology |
| stereotype space | 2PQCZPZ7K9 | unknown | open | Wikidata Q4442333, nLab stereotype space |
| Stern–Brocot tree | 8J3G7YWAV2 | unknown | open | Wikidata Q599079, MathWorld Stern-BrocotTree |
| Steve Awodey | KPCVK6ZF2H | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7611834, nLab Steve Awodey |
| Steve Carlip | KMR0ZDRG4Z | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7612157, nLab Steve Carlip |
| Steve Vickers | KWD8WKDS0W | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q3817613, nLab Steve Vickers |
| stevedore knot | 3F2R5KWC9V | unknown | open | Wikidata Q7614401, MathWorld StevedoresKnot |
| Steven Giddings | FHKQG2HZ8Y | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q23981280, nLab Steven Giddings |
| Steven Gubser | 93E1MRSJWF | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q373924, nLab Steven Gubser |
| Steven Kleiman | 1MDBE87P2S | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1169890, nLab Steven Kleiman |
| Steven Weinberg | TGMEA90AZY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q179282, nLab Steven Weinberg |
| Stevens--de Zeeuw | 15AT0BBR82 | statement | record (an 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.29784#2OJX |
| STEVF94H5J | STEVF94H5J | statement | record (an 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.15313#A5OD |
| Stewart's theorem | NXQ0YVB22N | statement | open | mathlib_1000 Q739403, Mathlib EuclideanGeometry.dist_sq_mul_dist_add_dist_sq_mul_dist, Wikidata Q739403, thousand_plus Q739403, Wikipedia Stewart's theorem, MathWorld StewartsTheorem, ProofWiki Stewart's_Theorem |
| STEWXDTSZ6 | STEWXDTSZ6 | statement | record (an 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.11395#3ODZ |
| STEXNG5085 | STEXNG5085 | statement | record (an 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.08226#L0XM |
| STEZZ621BR | STEZZ621BR | statement | record (an 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.31861#D90Y |
| STFF4DTZFZ | STFF4DTZFZ | 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.17541#BAQG |
| STFRG93F8E | STFRG93F8E | statement | record (an 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.10337#A173 |
| STFT-version | Z7RF0MQC9S | statement | record (an 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.28341#VXXA |
| STG27TE6F8 | STG27TE6F8 | 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.37704#9V6V |
| STGZ3NVP35 | STGZ3NVP35 | statement | record (an 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.25843#ZC7H |
| STGZQWC30D | STGZQWC30D | statement | record (an 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.31335#AQOE |
| STHBFXMBS3 | STHBFXMBS3 | 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 2210.16706#94OT |
| STHE0EK2FD | STHE0EK2FD | statement | open | open_logic content/intuitionistic-logic/introduction/constructive-reasoning.tex#thm-1 |
| STHP6RBR6W | STHP6RBR6W | statement | record (an 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.18744#5UHO |
| STHPA67JPK | STHPA67JPK | statement | record (an 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.10338#AW94 |
| stick number | 4E44CVZPHK | unknown | open | Wikidata Q7616237, MathWorld StickNumber |
| Stickelberger | GHX6KFHZ0N | statement | record (an 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.28211#VRRI |
| Sticky Kakeya Theorem | K3P78FER1D | statement | record (an 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.40161#HCL1 |
| Stiefel manifold | NG6HST2H06 | concept | open | Wikidata Q7616373, MathWorld StiefelManifold, nLab Stiefel manifold |
| Stiefel–Whitney class | M6Z5SC0QXW | concept | open | Wikidata Q1293273, MathWorld Stiefel-WhitneyClass |
| Stieltjes constants | 4WJE4CP17S | concept | open | Wikidata Q1816316, MathWorld StieltjesConstants |
| Stieltjes measure | ME03CMV9MH | unknown | open | mathlib_overview Analysis > Measures and integral calculus > Stieltjes measure, Mathlib StieltjesFunction.measure |
| Stieltjes moment sequences throughout the prescribed cyclic orbit | G881H6FY6N | statement | record (an 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#ILE4 |
| Stieltjes representation of the Weyl matrix | J45JJK07KN | statement | record (an 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#BNXX |
| Stieltjes summation with the Dickman weight | 5BVQGC895D | statement | record (an 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.29748#81RA |
| Stieltjes transformation | KAKZX7C7AM | concept | open | Wikidata Q3537578, MathWorld StieltjesTransform |
| stiff problem | 3BR4BKVKCF | concept | open | lebl_diffyqs index/4.7/stiff-problem |
| Stimulus-dependent affine flows give Gaussian Fisher information | 7Z2EXX4BB0 | statement | record (an 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.31544#EGVR |
| Stinespring dilation | DP5Y5BSSAK | statement | record (an 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#2ZS3 |
| Stinespring factorization theorem | YP9DQ1CPFJ | statement | open | mathlib_1000 Q7617407, Wikidata Q7617407, thousand_plus Q7617407, Wikipedia Stinespring factorization theorem, nLab Stinespring factorization theorem |
| Stirling bound on the kernel | HAE4T45JD4 | statement | record (an 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.26134#TOTF |
| Stirling number of the first kind | B2VS1PEN39 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q2657556, MathWorld StirlingNumberoftheFirstKind, OEIS A008275 |
| Stirling number of the second kind | 3FT365QCBH | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q2601117, MathWorld StirlingNumberoftheSecondKind, OEIS A008277 |
| Stirling polynomials | EM7K9CSAQ5 | concept | open | Wikidata Q25113043, MathWorld StirlingPolynomial |
| Stirling transform | EKKHY27606 | unknown | open | Wikidata Q7617600, MathWorld StirlingTransform |
| Stirling's approximation | MDNWQ69E62 | statement | node (a node has the same Wikidata item as the row) | mathlib_100 90, Mathlib Stirling.tendsto_stirlingSeq_sqrt_pi, mathlib_1000 Q470877, Wikidata Q470877, thousand_plus Q470877, Wikipedia Stirling's theorem, EoM Stirling formula, MathWorld StirlingsApproximation |
| stirrup curve | WHM5V2AKEC | unknown | open | Wikidata Q3699697, MathWorld StirrupCurve |
| Stitches | MFSX7T0G5P | 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.01240#8JX1 |
| STJTC446RS | STJTC446RS | 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.31604#HZGY |
| STK9KKR9Q0 | STK9KKR9Q0 | statement | record (an 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.21092#F9L5 |
| STKV1WE34C | STKV1WE34C | statement | record (an 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.27518#CD6L |