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 3201–3300 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| sinusoidal spiral | FNMERK4F7D | unknown | open | Wikidata Q2064156, MathWorld SinusoidalSpiral |
| Sinusoidal trees | SW2Y6EF05D | statement | record (an 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.10993#N5ZZ |
| Sion's minimax theorem | CW88S7RVHB | statement | open | mathlib_1000 Q7525341, Wikidata Q7525341, thousand_plus Q7525341, Wikipedia Sion's minimax theorem |
| Sipser–Lautemann theorem | KMZ3BYXXJJ | statement | open | mathlib_1000 Q7525845, Wikidata Q7525845, thousand_plus Q7525845, Wikipedia Sipser–Lautemann theorem |
| Sir George Stokes, 1st Baronet | K82VAJAA54 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q155907, ProofWiki Mathematician:George_Gabriel_Stokes |
| SIR model | BMWBGFB3QT | unknown | open | Wikidata Q2206263, MathWorld SIRModel |
| SISD--NBQP correspondence | F7D2CCQPDW | statement | record (an 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.06300#H64Z, arXiv 2610.06340#FD7X |
| Site bounds | CCWNABWHZ6 | statement | record (an 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.10840#XCTJ |
| site percolation | HTE556T3V3 | unknown | open | Wikidata Q121335525, MathWorld SitePercolation |
| siteswap | B4VMWQVJD8 | unknown | open | Wikidata Q1389933, MathWorld Siteswap |
| Siu's semicontinuity theorem | KB09FM5CA9 | statement | open | mathlib_1000 Q7532192, Wikidata Q7532192, thousand_plus Q7532192, Wikipedia Siu's semicontinuity theorem |
| Six circles theorem | Q5DF9J6JTC | statement | open | mathlib_1000 Q3527247, Wikidata Q3527247, thousand_plus Q3527247, Wikipedia Six circles theorem, MathWorld SixCirclesTheorem |
| six exponentials theorem | 2B5NSSA2N5 | statement | open | arXiv 2610.10469#7V69, mathlib_1000 Q3527245, Wikidata Q3527245, thousand_plus Q3527245, Wikipedia Six exponentials theorem, MathWorld SixExponentialsTheorem |
| six operations | HXP9A54QHF | unknown | open | Wikidata Q17103325, nLab six operations |
| Six principal separators | NT2NATCNJ2 | statement | record (an 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.17677#ZFKG |
| Six-periodic group and homology data | 3JDXB840ZC | statement | record (an 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.29839#1WTE |
| Six-value recovery | 7D554TPVXH | statement | record (an 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.25762#D69N |
| Six-vertex tree counterexample | 5MKDW3JWZJ | statement | record (an 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.10993#8S9O |
| Sixfold convexity and the high-mass profile | QNW8K7S7HG | statement | record (an 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#V57G |
| Sixteen-factor certificate | KGTSJZ20R2 | statement | record (an 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.10950#3M4U |
| Sixteen-witness lemma | 45MQ1FFEET | statement | record (an 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.10950#530P |
| Sixth moment bound | VHKWERZKBS | statement | record (an 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.01035#RMSR |
| sixth power | S1APS3CXXW | definition | open | Wikidata Q37947496, ProofWiki Definition:Sixth_Power |
| Sixth-order identity | AGZRASZCDK | statement | record (an 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.34016#X08Z |
| Size and closure of a principal class | 9W0H987N20 | statement | record (an 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.25101#LDFD |
| Size bias for the binomial | B9TZHVQ6HQ | statement | record (an 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.26133#TCEO |
| Size of a decision witness | QYXC89Y6SX | statement | record (an 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#VDS0 |
| Size of edit balls | JESSCH6W72 | statement | record (an 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.15631#BGUD |
| Size of prime cofactors | 523MAS6R6X | statement | record (an 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.15262#VO94 |
| Size of subtrees of $\varnothing$ | 955EN9FQJ3 | 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.30098#Q34F |
| Size of the explicit sufficient threshold | 1H65YCDP8K | 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.22305#S5D0 |
| Size of the full singular set | 2TN7KKW3D0 | statement | record (an 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.13613#RCR7 |
| Size of the gaps | WDKSECK49N | statement | record (an 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.20145#HCFN |
| Size of the mousetrap | CYPBYBW924 | statement | open | napkin tex/alg-NT/classgrp.tex#lemma-3 |
| Size of the projected confusion set | Z0G4T494BQ | statement | record (an 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.15631#A7PL |
| Size of the seeded interval collection | 6NVJ3CE9MP | statement | record (an 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#3UEJ |
| size-balanced binary search tree | M9576TMSHJ | unknown | open | mathlib_overview Data structures > Trees > size-balanced binary search tree, Mathlib Ordnode |
| Size-optimality at fixed coverage | KJR4VNKWJY | statement | record (an 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.25388#FFDO |
| Sizes of the systems | 6909QQAEQB | statement | record (an 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.15262#RXZP |
| SJ04ACGR7G | SJ04ACGR7G | statement | record (an 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.07380#5E8Q |
| SJ0541SM7R | SJ0541SM7R | 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.00877#PM8Y |
| SJ141NW7B8 | SJ141NW7B8 | statement | record (an 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.18016#075C |
| SJ171BWASF | SJ171BWASF | statement | record (an 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.14214#NARP |
| SJ1ASHX0YK | SJ1ASHX0YK | statement | record (an 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.14616#PSTC |
| SJ1DBMFG4C | SJ1DBMFG4C | statement | record (an 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.01338#JAQJ |
| SJ1FZFAQDQ | SJ1FZFAQDQ | 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.25269#ZQ6H |
| SJ1G683CY6 | SJ1G683CY6 | 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.24599#TI9V |
| SJ1XPX6G86 | SJ1XPX6G86 | statement | record (an 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.26386#AKJG |
| SJ23Y1PA2V | SJ23Y1PA2V | statement | record (an 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.10329#KL15 |
| SJ2ASZK8CM | SJ2ASZK8CM | statement | record (an 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.04870#QLEA |
| SJ2K2CR1Y5 | SJ2K2CR1Y5 | statement | record (an 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.00934#SQDS |
| SJ33BP0MDR | SJ33BP0MDR | exercise | open | applied_combinatorics source/s_recurrence_exercises.ptx#exercise-19 |
| SJ34WTYQSQ | SJ34WTYQSQ | 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.12413#G9CU |
| SJ49VCMVH0 | SJ49VCMVH0 | statement | record (an 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.09129#MNUE |
| SJ4R3K5ENZ | SJ4R3K5ENZ | statement | record (an 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#TETD |
| SJ523PNPAY | SJ523PNPAY | statement | record (an 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.37897#0NBV |
| SJ58SBZ0J7 | SJ58SBZ0J7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.00146#FAGT |
| SJ64NST60C | SJ64NST60C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2105.03715#6BMJ |
| SJ67V8D633 | SJ67V8D633 | statement | record (an 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.27628#GVX6 |
| SJ6WPWRKDC | SJ6WPWRKDC | exercise | open | hott_book reals.tex#ex:ord-into-surreals |
| SJ6YEGHFN8 | SJ6YEGHFN8 | exercise | open | applied_combinatorics source/s_polya_exercises.ptx#exercise-4 |
| SJ73PYTNYR | SJ73PYTNYR | definition | open | napkin tex/diffgeo/manifolds.tex#definition-7 |
| SJ746M7H9R | SJ746M7H9R | statement | record (an 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.01919#RUK4 |
| SJ77KVPMMT | SJ77KVPMMT | statement | record (an 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.25080#ELPD |
| SJ7D6RS322 | SJ7D6RS322 | statement | record (an 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.39317#QZDW |
| SJ7H8K1MF5 | SJ7H8K1MF5 | statement | record (an 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.16704#VTI9 |
| SJ7TV396VA | SJ7TV396VA | statement | record (an 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#JOQ8 |
| SJ84Q3N2WF | SJ84Q3N2WF | statement | open | open_logic content/lambda-calculus/lambda-definability/minimization.tex#lem:min |
| SJ8PX5GPD4 | SJ8PX5GPD4 | 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.01473#L10X |
| SJ94B957GM | SJ94B957GM | statement | record (an 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#ARBX |
| SJ974NY5Z4 | SJ974NY5Z4 | statement | record (an 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.33469#FJIZ |
| SJA0RXYGFE | SJA0RXYGFE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.01959#H3Q7 |
| SJA9PVT7V3 | SJA9PVT7V3 | statement | record (an 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.02216#O8TE |
| SJAZVPKDZ8 | SJAZVPKDZ8 | statement | record (an 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.14839#5EAP |
| SJB752VZX1 | SJB752VZX1 | 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.36792#1Z4K |
| SJBYNXSD3S | SJBYNXSD3S | statement | record (an 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#QEYN |
| SJC8CY6JVG | SJC8CY6JVG | statement | record (an 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.33856#N2IU |
| SJCAMQHJ7P | SJCAMQHJ7P | 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.24901#RSC3 |
| SJDSFWESKJ | SJDSFWESKJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.15812#UCFA |
| SJEHH06MGA | SJEHH06MGA | 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.04870#89IM |
| SJFCE49Q7T | SJFCE49Q7T | statement | record (an 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.19360#G1PV |
| SJFH8N2XRN | SJFH8N2XRN | statement | record (an 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.14097#T0DJ |
| SJG0ABC48F | SJG0ABC48F | statement | record (an 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.14267#87XT |
| SJGVCWW3CQ | SJGVCWW3CQ | exercise | open | open_logic content/proof-theory/sequent-calculus/invertibility.tex#prob-2 |
| SJHBW2AC3C | SJHBW2AC3C | statement | record (an 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#ZYUV |
| SJHRSF8GPH | SJHRSF8GPH | statement | record (an 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.16875#G8KW |
| SJJJ9Y113B | SJJJ9Y113B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.00146#PQMF |
| SJJJP3JW67 | SJJJP3JW67 | statement | record (an 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.18600#ZSAT |
| SJJXTW96P3 | SJJXTW96P3 | statement | record (an 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.00596#W5CS |
| SJK1Z1KSGJ | SJK1Z1KSGJ | statement | record (an 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.11652#Y6GF |
| SJKCJ54MF4 | SJKCJ54MF4 | statement | record (an 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.07370#MUYK |
| SJKWGHHKFJ | SJKWGHHKFJ | statement | record (an 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.08091#ZSPC |
| SJM4EM8PA4 | SJM4EM8PA4 | statement | record (an 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.08500#RLYH |
| SJMHB3NYRE | SJMHB3NYRE | statement | record (an 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.14253#01K5 |
| SJMJXN2MS5 | SJMJXN2MS5 | statement | record (an 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.01268#L4PD |
| SJN0A0M8H8 | SJN0A0M8H8 | 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 0806.0678#OF2W |
| SJN9F753A1 | SJN9F753A1 | statement | record (an 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.28774#LY5Q |
| SJPMXN3KP4 | SJPMXN3KP4 | statement | record (an 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.14699#LLCN |
| SJPTKGFXNQ | SJPTKGFXNQ | 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.00105#6IB7 |
| SJQ98NSE2S | SJQ98NSE2S | exercise | open | open_logic content/sets-functions-relations/functions/composition.tex#prob-2 |