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 2001–2100 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Sensitivity of Local Minimizer | VXJX1N8HEP | statement | record (an 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.37489#29KC |
| Sensitivity of Local Optimal Objective Value | AH562EBXXB | statement | record (an 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.37489#UGHW |
| Sensitivity of Lyapunov equation solution $\boldsymbol{P}$ | YR4ZQ4MVVP | statement | record (an 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.30957#YMHV |
| Sensitivity of quadratic MRS functions | QHB7PZTM46 | statement | record (an 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.17006#K8CA |
| Sensitivity of scaled dot-product attention | 82H7GAVGFM | statement | record (an 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.05333#R4QL |
| Sensitivity of the fully recalibrated procedure | 2T2B99DKAQ | statement | record (an 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.07721#ANNL |
| Sensitivity of the local DRO variable | 4KE6S6FY70 | statement | record (an 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.13631#TMWN |
| Sensitivity of the local model update | F2VH7RAT7P | statement | record (an 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.13631#YOTU |
| Sensitivity of the regularized optimum | G0504DCG96 | statement | record (an 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.13773#IKFL |
| Sensitivity to reference-label deviation | 5YERRMEXDC | statement | record (an 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.32652#4KTZ |
| sentence | 44DDQHSRBC | unknown | open | Wikidata Q2509500, MathWorld Sentence |
| Sentence | BR1TD7XJ32 | definition | open | open_logic content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex#defn-3 |
| SEP basis | SAD12AJSW3 | 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.10745#IYC4 |
| Separability and time consistency | 4EZVX3QYDB | statement | record (an 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.11917#VJE4 |
| Separability in characteristic zero | HH5J3198RY | statement | open | napkin tex/alg-NT/galois.tex#lemma-1 |
| separable | GW5HKEC9R1 | concept | open | active_calculus index/7.4.1/separable |
| separable | RWPM8815R2 | concept | open | active_calculus index/7.4.2/separable |
| separable algebra | 4ZCDR99131 | unknown | open | Wikidata Q2836018, LMFDB knowl nf.separable_algebra |
| Separable case | RWCQZBJK7M | statement | record (an 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.38741#84YD |
| separable closure | SYY9TVZFTP | unknown | open | Wikidata Q526205, nLab separable closure |
| Separable conditional risk mapping | GCETZVVG7E | 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.11917#TF5C |
| Separable Cyclic Procrustes | S2JR5EBJ0E | statement | record (an 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.12994#5E01 |
| separable extension | ZSWK8BKCP1 | unknown | node (a node has the same name as the row) | Wikidata Q2264756, EoM Separable_extension, MathWorld SeparableExtension, nLab separable field extension |
| Separable Policy | 2PKN45SZVM | 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.20126#0TCC |
| separable polynomial | B1JG55A58W | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q2530089, MathWorld SeparablePolynomial |
| separable polynomial | Z6XNC8S6VV | unknown | open | mathlib_overview General algebra > Polynomials and power series > separable polynomial, Mathlib Polynomial.Separable |
| Separable singular kernels with H\"older modifications | E33WRT5P0M | 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.31102#IUGE |
| separable space | VFYY4MJ9Q6 | definition | node (a node has the same name as the row) | Wikidata Q680081, MathWorld SeparableSpace, nLab separable space, ProofWiki Definition:Separable_Space |
| Separable value and threshold policy | YVVCCM3M2V | statement | record (an 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.40077#IMHX |
| Separate concavity | PRRZCZ3F7H | statement | record (an 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.04027#N32M |
| Separated discrete curvature | BM5EQVJ02B | statement | record (an 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.27153#8A82 |
| Separated finite-window theorem | WJM4QQGE3D | statement | record (an 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.16351#TCER |
| Separated flows | M5TP1ZQ81D | statement | record (an 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.27813#VBLN |
| Separated leaves | DYRA9V1KTP | statement | record (an 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#QEVK |
| separated morphism | 2QE7ZNC8HB | definition | open | Wikidata Q17131030, nLab separated morphism, ProofWiki Definition:Separated_Morphism_of_Schemes |
| Separated pencil-type Levi-flats | 7JT33G1G9E | statement | record (an 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.12497#RXVO |
| separated poset system | GSW492WVC9 | 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.15099#B86H |
| Separated radial equation | BQE73Z6BWV | statement | record (an 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.11077#DSEE |
| Separated stationary-memory theorem | ZMBFFKVBS2 | statement | record (an 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.16351#N335 |
| Separated tangent directions | 7B6DYMEBZQ | statement | record (an 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.01615#IQKD |
| Separated-weight interpolation with bounded fibre multiplicity | HEEMMPE2PN | statement | record (an 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.10192#NOBU |
| Separatedness | XJSTC0WEVG | statement | record (an 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#V6HE |
| Separating axis theorem | 4K88PSQF41 | statement | open | mathlib_1000 Q6795830, Wikidata Q6795830, thousand_plus Q6795830, Wikipedia Separating axis theorem |
| Separating insertional from next-block pseudoentropy gaps | 84ZKTWB570 | statement | record (an 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.14615#CCYL |
| Separating insertional from ordinary pseudoentropy gaps | X2995MW7K3 | statement | record (an 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.14615#M7BO |
| Separating pattern | KQE1VE7BBH | statement | record (an 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.34122#ZKU6 |
| Separating seed | ATXW30MPZQ | 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.15631#KT7M |
| Separating the path supports | SPKYXPMN7N | statement | record (an 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#06HU |
| separating vector | AN6V1QGSC5 | unknown | open | Wikidata Q121142028, MathWorld SeparatingVector, nLab separating vector |
| Separation | 1QN919ADBH | statement | record (an 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.32140#JJ0C |
| Separation | 30MDB8G4W8 | statement | record (an 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.17276#ZPGN |
| Separation | 3B2X6KJ8VB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1704.08191#U894 |
| Separation and the min--max formula | G90MZSM5X1 | statement | record (an 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.09602#TT0Y |
| separation axiom | 3K64H96V9J | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1140985, MathWorld SeparationAxioms, nLab separation axioms |
| Separation beyond a root threshold | YWP5VEFHQJ | statement | record (an 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.09602#0OQS |
| Separation bounds | KQ3WWSDRGV | statement | record (an 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.32829#R4TM |
| Separation by maximal subsheaves | 891YN8W974 | statement | record (an 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.15887#Y2KV |
| separation from the axes | ARV3M2FMB7 | statement | record (an 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.01753#M8LE |
| separation logic | 7KNVJEPW8D | unknown | open | Wikidata Q3257964, nLab separation logic |
| Separation modulo a prime | SA0ZFNSZE3 | statement | record (an 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.29047#YBZG |
| Separation modulo a prime square | W8MET41NXX | statement | record (an 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.29047#J10O |
| Separation of conditional means | 3XMAZ6XKS4 | statement | record (an 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.00137#62BS |
| Separation of nearby Levi leaves | 8F0154BQXA | 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.12497#JATE |
| Separation of observations | N9K42BPP55 | statement | record (an 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.16989#R6FO |
| Separation of retained points | Q7Z485X7HD | statement | record (an 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#5K78 |
| Separation of sample complexity | HB1AZ9MRW4 | statement | record (an 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.40271#DU06 |
| Separation of sample complexity | YF6308Z6MF | statement | record (an 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.40271#5PJ3 |
| Separation of the pure square blocks | WTDF25FTH0 | statement | record (an 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.04189#YHKH |
| separation of variables | PY15FJKS2T | concept | open | lebl_diffyqs index/5.6.2/separation-of-variables |
| separation of variables | Q7HZNWSNMG | statement | open | Wikidata Q913323, EoM Fourier_method, MathWorld SeparationofVariables, ProofWiki Separation_of_Variables |
| Separation over type-zero coefficients | N1NN13VVX2 | statement | record (an 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.19243#9SR1 |
| Separation-to-rate dictionary | K1BHWRTFA8 | statement | record (an 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.37375#IDVA |
| Separatrices | XX2HWVT2NX | 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 2103.12669#UFRO |
| separatrix | AAPTTHTJN3 | unknown | open | Wikidata Q2902561, MathWorld Separatrix |
| SEPN3X5ST2 | SEPN3X5ST2 | statement | record (an 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.29574#X18A |
| SEPQ0A5RM6 | SEPQ0A5RM6 | 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.10221#8DKN |
| SEPQZK2SVN | SEPQZK2SVN | statement | record (an 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.22040#8DFN |
| SEPS8SJGJP | SEPS8SJGJP | statement | record (an 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.16102#09BO |
| September | 8KZ5XJRCDN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q123, ProofWiki Mathematician:Mathematicians/Sorted_By_Birthday/September |
| septenary | 7VHSM8ECKV | definition | open | Wikidata Q930594, ProofWiki Definition:Septenary_Notation |
| SEPWGGKTRK | SEPWGGKTRK | statement | record (an 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.25472#30N9 |
| SEQ1H6Y3F8 | SEQ1H6Y3F8 | proof | open | open_logic content/normal-modal-logic/tableaux/soundness.tex#proof-3 |
| SEQ9A1A8MD | SEQ9A1A8MD | statement | record (an 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.02983#60KI |
| SEQPDT0NZJ | SEQPDT0NZJ | statement | record (an 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.19528#PVWO |
| sequence | 60GGD1B60C | concept | open | hott_book index/B.5/sequence |
| sequence | 774J1HDG76 | concept | open | hott_book index/8.6/sequence |
| sequence | GE1TVTCKXY | concept | open | levin_dmoi index/3.1/sequence |
| sequence | H87M9A7W61 | concept | open | applied_combinatorics index/2.1/sequence |
| sequence | NDX8VH3K6R | concept | open | hott_book index/B.4/sequence |
| sequence | NGENC7GQMM | unknown | open | mathlib_overview Data structures > List-like structures > sequence, Mathlib Stream'.Seq |
| sequence | PZ7HH5MG1J | concept | open | hott_book index/1/sequence |
| sequence | RR1TCM6EZP | topic | node (a node has the same Wikidata item as the row) | Wikidata Q133250, EoM Sequence, MathWorld Sequence, ProofWiki Definition:Sequence |
| Sequence of base polynomials $\mathcal{B}_\theta$ associated with $\theta$ | FFEAJSYT7A | 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.12691#F67U |
| sequence space | DAZK064QNT | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q289411, nLab sequence space |
| Sequence Type | 2PGW6THX4V | 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.09998#AQRR |
| sequence, exact | 3JYFPNEK6Z | concept | open | hott_book index/7.5/sequence-exact |
| sequence, exact | H43GC1JA99 | concept | open | hott_book index/7.8/sequence-exact |
| sequence, fiber | XJFHH2P0YN | concept | open | hott_book index/7.4/sequence-fiber |
| Sequence-level TV bound from uniform per-step TV control | JXANKGDDDX | statement | record (an 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.05712#47EC |
| sequences and series of holomorphic functions | YCX9NDW4MN | unknown | open | mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > sequences and series of holomorphic functions |