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 5901–6000 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Subgroup generated by an element | MFE8ZGEKMX | example | open | napkin tex/H113/grp-intro.tex#example-19 |
| subgroup profile | 2GA4PY58ME | statement | record (an 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.07508#LIHV |
| subgroup series | KGQB3404BB | unknown | open | Wikidata Q360830, nLab subgroup series |
| Subgroups of $\ZZ$ | 8HYVFV5RXH | example | open | napkin tex/topology/cover-project.tex#example-11 |
| Subharmonic corrected barrier | 9MV98CZ4C3 | statement | record (an 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.01324#7GMJ |
| subharmonic function | YCTQAWTAQD | concept | open | Wikidata Q753658, EoM Subharmonic_function, MathWorld SubharmonicFunction |
| Subir Sachdev | NWN3JH3JA9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7631351, nLab Subir Sachdev |
| subjective idealism | MA9PAD81GJ | unknown | open | Wikidata Q247218, nLab subjective idealism |
| subjunctive possibility | BPHKCJYTD3 | unknown | open | Wikidata Q7631437, MathWorld Alethic |
| Sublevel estimate for analytic observables | BF6KF45W84 | statement | record (an 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.27484#ADSG |
| sublime number | AWHEK0KYS0 | unknown | open | Wikidata Q890987, MathWorld SublimeNumber, OEIS A081357 |
| Sublinear Entropy at Fixed Degree | VJ7GKE3PSN | statement | record (an 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#6MOU |
| Sublinear function | HAQE8G7X8V | 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.25468#W9NG |
| submanifold | 82QC6WYNQA | concept | open | lebl_scv index/C/submanifold |
| submanifold | NXJJD67S8A | unknown | open | Wikidata Q125539, MathWorld Submanifold, nLab submanifold |
| submanifold, complex | 3C0JTYFW71 | concept | open | lebl_scv index/1.6/submanifold-complex |
| submanifold, complex | VN8HZBRK7Q | concept | open | lebl_scv index/6.5/submanifold-complex |
| submanifold, embedded | BZR0KFRST5 | concept | open | lebl_scv index/C/submanifold-embedded |
| submanifold-with-boundary | A8MGVK758Y | concept | open | lebl_scv index/C/submanifold-with-boundary |
| Submanifolds | 3XBGSB6TMA | 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#SHNV |
| submatrix | HZQQ2WPXDM | unknown | open | Wikidata Q2676163, MathWorld Submatrix |
| submersion | 86QY7EWB3Q | definition | open | Wikidata Q1420023, MathWorld Submersion, ProofWiki Definition:Submersion |
| Submodular Intersection Cut | WQV4R0GZCC | statement | record (an 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.33946#5AE6 |
| Submodular-cover formulation | WVY8SNA59M | statement | record (an 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.31535#CF5X |
| Submodularity | ZEBJV87PG7 | statement | record (an 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.31535#HHHK |
| Submodularity of $f$ | 5WBRT5DMH1 | statement | record (an 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.33946#T7Q7 |
| submodule | PSHMM6FTRB | definition | open | Wikidata Q2498094, EoM Submodule, MathWorld Submodule, nLab submodule, ProofWiki Definition:Submodule |
| Submodule criteria | 3PXK94NKQK | statement | record (an 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#956O |
| Submodule Grassmannians and $F$-polynomials | 2SNRPW0H9M | 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#RQWN |
| submonoid | 2N5X86FFZY | unknown | open | Wikidata Q121499459, MathWorld Submonoid, nLab submonoid |
| Subnetwork | BDSSHT21K8 | 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.07855#RSFQ |
| subnormal number | BDFMGMBBKE | unknown | open | Wikidata Q1070094, MathWorld SubnormalNumber |
| Subnormal number | XCKVA7X48D | 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 2602.19452#4FZU |
| subnormal subgroup | 6J7P3MW8AF | unknown | open | Wikidata Q2361983, EoM Subnormal_subgroup, MathWorld SubnormalSubgroup |
| subobject | CVTHJF3B6P | unknown | open | Wikidata Q2547089, EoM Subobject, nLab subobject |
| subobject classifier | 73RPA5FS0R | unknown | open | Wikidata Q7631737, nLab subobject classifier |
| Subobjects of a regular quotient | KVQR7M2247 | statement | record (an 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#SFEH |
| Suboptimality from wasteful transport | BKH5H03ZQR | statement | record (an 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.31363#D9RW |
| Suboptimality of Swap Descent on Sinkhorn Divergence | MC1ZAVQPCY | statement | record (an 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.01199#S8FV |
| Suborbit reduction | V7TNKNY3NH | statement | record (an 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.15340#GEDD |
| subposet | HYS09W7VJG | concept | open | applied_combinatorics index/6.1/subposet |
| Subproblem | QGN3RFCSAE | 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#HBXK |
| Subquadratic BDG maximal inequality | D83J4EM33Y | statement | record (an 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.40338#S2O6 |
| subquotient | 6HSBW6T28Z | unknown | open | Wikidata Q2133887, nLab subquotient |
| Subrahmanyan Chandrasekhar | CDDS80C2ZZ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q148109, nLab Subrahmanyan Chandrasekhar, ProofWiki Mathematician:Subrahmanyan_Chandrasekhar |
| subrepresentation | R74PQGFSER | unknown | open | Wikidata Q55648664, nLab subrepresentation |
| subresultant | 4Q7E2PBV6E | unknown | open | Wikidata Q122391310, MathWorld Subresultant |
| subring | 2TQFQ2SNPY | definition | node (a node has the same Wikidata item as the row) | mathlib_overview General algebra > Rings > subring, Mathlib Subring, mathlib_undergrad Ring Theory > Fundamentals > subrings, Wikidata Q929536, MathWorld Subring, nLab subring, ProofWiki Definition:Subring |
| Subroutine conformity | ZMZ649W25J | statement | record (an 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.38132#5OK3 |
| subscript | ZXQBMT21G1 | unknown | open | Wikidata Q11712069, MathWorld Subscript |
| subsequence | DFR1QF25ZZ | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1332977, MathWorld Subsequence |
| subset | 5Q5RGE6WAJ | concept | open | applied_combinatorics index/B.2.4/subset |
| Subset | C8Z3X7JVS9 | definition | open | open_logic content/sets-functions-relations/sets/subsets.tex#defn-1 |
| subset | K4ANRETEXF | concept | open | levin_dmoi index/1.3.2/subset |
| subset | MQ3BN6EDT0 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q177646, MathWorld Subset, nLab subset, ProofWiki Definition:Subset |
| Subset Convolution | 1YDJ5E8Q85 | 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.06724#KN6D |
| subset dif\/feology | 9ET3F04JGF | 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 1408.1555#0RJW |
| subset sum problem | DGGVW64P5K | unknown | open | Wikidata Q1154420, MathWorld SubsetSumProblem |
| subset, collection | WD3CC6ZZGB | concept | open | hott_book index/C.5/subset-collection |
| subset, proper | JM9TQQBVKX | concept | open | applied_combinatorics index/B.2.4/subset-proper |
| Subset-function switching times | G7RV15NWSB | 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 math/0003117#AG73 |
| Subsonic implies ellipticity | 5APTSWM5QS | statement | record (an 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.01883#AG2K |
| Subsonic periodic waves | 2P1VWKH50N | statement | record (an 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.01883#IDIR |
| subspace | W8E8N79NRH | concept | open | austin_ula index/3.5.2/subspace |
| Subspace commutation via the $\F_q$-pairing | NHSA6KWPEX | statement | record (an 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.40252#RT6J |
| Subspace complements | 7ZMH9Q769A | 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.09341#JC7E |
| Subspace design | XYB3WV9H1N | 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#7766 |
| Subspace theorem | PGGSP5H1DS | statement | open | mathlib_1000 Q7632041, Wikidata Q7632041, thousand_plus Q7632041, Wikipedia Subspace theorem |
| subspace topology | VRY8JPATZ4 | unknown | node (a node has the same name as the row) | Wikidata Q660730, MathWorld RelativeTopology, nLab subspace topology |
| Subspaces of $\real^3$ | 7HFXE29XGR | example | open | austin_ula src/section3-5.xml#example-1 |
| Substitution | 46T5B35SQD | statement | record (an 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.20817#Y7E2 |
| substitution | 8R551V1SWR | concept | open | hott_book index/A.1/substitution |
| substitution | B562QTSDZF | unknown | open | Wikidata Q1522579, nLab substitution |
| substitution | B89CYRXVB3 | concept | open | hott_book index/sec:formal-prelim/substitution |
| Substitution | Z4CP5X7ZKM | definition | open | open_logic content/lambda-calculus/syntax/substitution.tex#defn:substitution |
| substitution | ZKDSNZADRZ | concept | open | hott_book index/A.2/substitution |
| Substitution Application | A5KD6NJEY2 | 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.21131#MJWR |
| Substitution Equivalence | QVBNRQ8D5W | 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.21131#YUT0 |
| Substitution in !!a{formula} | EDSPC93ZEC | definition | open | open_logic content/first-order-logic/syntax-and-semantics/substitution.tex#defn-3 |
| Substitution in a term | 62ZF89AA1B | definition | open | open_logic content/first-order-logic/syntax-and-semantics/substitution.tex#defn-1 |
| Substitution maps | 1BQS5KD9RT | 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#VAL7 |
| Substitution Operations | 76JG2V7810 | 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.21131#6VWC |
| Substitution Preserves Judgments | 4NN8DQT8HZ | statement | record (an 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#O1ZS |
| Substitution--Extension Commutation | WR1DTRMFA7 | statement | record (an 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#94VI |
| Substitutionality | 3041VZ52BS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.14022#CYT0 |
| substrategy | YZFMM9H45F | 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 2312.01517#S380 |
| substructural logic | M7K4KJ8GDJ | topic | open | Wikidata Q839490 |
| substructure | 2K4H36CP3G | unknown | open | mathlib_overview Logic and computation > Model theory > substructure, Mathlib FirstOrder.Language.Substructure |
| subsystem | 429A5CW4TJ | unknown | open | Wikidata Q2362312, nLab subsystem |
| subsystem | KS645YK1W7 | 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.15099#2J4G |
| subtended angle | SC9ENDP2D0 | concept | open | Wikidata Q5671969, MathWorld Subtend |
| subterminal object | 466PT5SHWS | unknown | open | Wikidata Q25103668, nLab subterminal object |
| Subthreshold globality | 7KB8ZSBPGW | statement | record (an 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.02714#IU6Z |
| Subthreshold input | 9H01P4NF73 | statement | record (an 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.02714#LH12 |
| subtracting vectors | 3R44NDQ89N | concept | open | lebl_diffyqs index/2.1.1/subtracting-vectors |
| subtraction | NPK3CFJZZB | concept | open | Wikidata Q40754, MathWorld Subtraction |
| subtrahend | 84MKB4A6KN | unknown | open | Wikidata Q14803656, MathWorld Subtrahend |
| Subtree | MSM3JZGJD1 | 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 2312.05005#RUNJ |
| subtype | 8VG9SC0XN4 | concept | open | hott_book index/A.11/subtype |
| Subtyping of $\Uc_i$ | 3ZGNS7PHDK | statement | record (an 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#J8Y8 |