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 6701–6800 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| symmetry | CY6S491ATK | 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.19214#1L7Z |
| Symmetry | F2DSAM4VKV | 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#D0XS |
| Symmetry | QF34CW17HR | 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.19452#W2QI |
| symmetry | QRSSEPG8FM | unknown | open | Wikidata Q2431134, MathWorld Symmetry |
| Symmetry | YJCZT8XQ51 | definition | open | open_logic content/sets-functions-relations/relations/special-properties.tex#defn-3 |
| Symmetry and block interchange | HVA88SQ6MZ | 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#BDHM |
| symmetry group | TYB7JCMMKV | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q902019, MathWorld SymmetryGroup |
| Symmetry group $G$ | VTR6DH8SNS | 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.28454#J6ZO |
| Symmetry Law | YVN81Z5AAC | 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.18281#KMF0 |
| Symmetry of $\Uc_i$ | KJJ98A5ZNB | 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#Y9KO |
| symmetry of a metric | G23ZZJK4E0 | concept | open | lebl_ra index/4.1/symmetry-of-a-metric |
| Symmetry of context PER | FG1HGZR2XH | 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#HXEU |
| symmetry of second derivatives | GA2EFBSV36 | statement | node (a node has the same Wikidata item as the row) | Wikidata Q1503239, EoM Partial_derivative |
| Symmetry of semantic substitutions | HEYCXWFG8H | 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#TS75 |
| symmetry operation | AJP4SMTXWQ | concept | open | Wikidata Q7661343, MathWorld SymmetryOperation |
| Symmetry related zeros | C1GK15HVQZ | 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#IG7X |
| Symmetry with domains | ZHEMHM87TX | 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.03745#2K4Y |
| symmetry, of equality | T7QA7X2ACT | concept | open | hott_book index/1.1/symmetry-of-equality |
| Symmetry, the initial gap and optimality | RJBHR8P4YF | 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.06480#CVC9 |
| Symmetry-based regularity | 44RQK361WW | 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.26592#V9ZL |
| Symmetry-enforced graph-orbit degeneracy | PYVSZFRTK5 | 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.14081#WGKV |
| Symphony No. 8 | XWKWTS2D15 | unknown | open | Wikidata Q2557806, nLab 000035915361 |
| Symplectic Cutting and Gluing | WK5AVZAW0T | 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.03384#Z2WJ |
| Symplectic Cutting and Gluing Law | VQ801SM94D | 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.03384#7R7S |
| symplectic form | 7CQF6QM53H | unknown | open | Wikidata Q3077487, LMFDB knowl st_group.symplectic_form, MathWorld SymplecticForm |
| symplectic geometry | 7AQZBJME99 | topic | open | Wikidata Q2190991, MathWorld SymplecticGeometry, nLab symplectic geometry |
| symplectic group | B8GY8099T3 | unknown | open | Wikidata Q936434, LMFDB knowl group.sp2gr, MathWorld SymplecticGroup, nLab symplectic group |
| symplectic integrator | 5KJY2T8ZFN | unknown | open | Wikidata Q7661847, nLab symplectic integrator |
| symplectic Lie algebra | 4ZWS0JQYCG | unknown | open | Wikidata Q52241637, MathWorld SymplecticLieAlgebra, nLab symplectic Lie algebra |
| symplectic manifold | F18Z3N9FMD | unknown | open | Wikidata Q1064500, EoM Symplectic_manifold, MathWorld SymplecticManifold, nLab symplectic manifold |
| symplectic map | JVDYM1S4F9 | unknown | open | Wikidata Q107303302, MathWorld SymplecticMap |
| Symplectic normal form under covariance slackness | TP7VYXCW1W | 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.01855#DC6K |
| Symplectic type | 476C7EZM26 | 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.10017#SC3E |
| symplectic vector field | HZM8EJA4SM | unknown | open | Wikidata Q7661853, nLab symplectic vector field |
| symplectic vector space | 6P70F4G9MV | unknown | open | Wikidata Q766774, MathWorld SymplecticSpace, nLab symplectic vector space |
| symplectomorphism | B3S6KPSQJ2 | unknown | open | Wikidata Q1049064, MathWorld SymplecticDiffeomorphism, nLab symplectomorphism |
| SYN5P6HS72 | SYN5P6HS72 | 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.29489#BS63 |
| Synchronization | SAEYF6A9DE | 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#AV57 |
| Synchronous $\Omega$-regularized $Q$-iteration | 9AYGQ0NRZ6 | 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#JKZ0 |
| Synchronous $\Omega$-regularized $Q$-learning | RDRHBT18G5 | 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#ZZEY |
| Synchronous $\Omega$-regularized $Q$-learning for $m=1$ | 801EY505A5 | 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#NDCX |
| Synchronous correlations | SZWVPNQJFS | 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.02468#IQ52 |
| Synchronous rigidity in $\OB^{F}$ | H01C97CJCM | 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#RPVU |
| Synchronous rigidity in the colored models | 47187QEP2C | 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#TH49 |
| Synchronous/asynchronous equivalence | KVY002V08R | unknown | open | arXiv 2610.15824#YH2H |
| Synchronous} expansion rate estimate for causally $\lambda$-convex gradient flows | 2JA4FZHT1P | 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.10051#LCFI |
| synclastic | TTWYM72F3H | unknown | open | Wikidata Q2375998, MathWorld Synclastic |
| syndrome connectivity | S5FWXAVXKE | 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.39395#X7VN |
| Synergetics | JNDFJM8XV0 | unknown | open | Wikidata Q1506712, MathWorld Synergetics |
| Synergetics coordinates | J7H1N4DQDP | concept | open | Wikidata Q17103876, MathWorld SynergeticsCoordinates |
| SYNGB64CCC | SYNGB64CCC | 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.12908#QCLW |
| Synge's theorem | CDFBX6ESNH | statement | open | mathlib_1000 Q3527171, Wikidata Q3527171, thousand_plus Q3527171, Wikipedia Synge's theorem |
| syntactic category | 203V56EZSX | unknown | open | Wikidata Q5253026, nLab syntactic category |
| Syntactic identity | 5EY5EEQJPE | definition | open | open_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#defn-2 |
| Syntactic identity | RZ1956TSRP | definition | open | open_logic content/propositional-logic/syntax-and-semantics/formulas.tex#defn-2 |
| Syntactical embedding from $\bf FDE^{\bf S5}_{\Box\D}$ into \textbf{S5 | DQAX8PJ4JA | 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.08323#HQV1 |
| Syntactical embedding from $\bf FDE^{\bf S5}_{\circ\bullet}$ into $\bf FDE^{\bf S5}_{\Box\D}$ | N03HXQ9VJT | 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.08323#Y0Z1 |
| Synthesis and transpose convolution | GQBJHMCPX0 | 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.13892#DO3W |
| Synthesis or transpose convolution | RTMXK5YZDD | 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.13892#S2KO |
| Synthesized Halving Dimension | S6QSXCJ257 | 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.27241#9WF8 |
| Synthesized Teaching Dimension | 57QNTWYY8F | 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.27241#77J0 |
| Synthetic data: a lower bound | E897XGEE1C | 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 2204.09167#AGUI |
| synthetic differential geometry | EB653287CH | topic | open | Wikidata Q7662747, nLab synthetic differential geometry |
| synthetic division | ZBG1403TJ7 | concept | open | Wikidata Q7662748, MathWorld SyntheticDivision |
| synthetic geometry | EZ2FV39C3M | topic | open | Wikidata Q249148, nLab synthetic geometry |
| synthetic mathematics | P23EM7ESND | concept | open | hott_book index/1/synthetic-mathematics |
| synthetic mathematics | VAQ7DCYDW0 | concept | open | hott_book index/7/synthetic-mathematics |
| syntomic topology | HKXX8F6AX2 | unknown | open | Wikidata Q7662807, nLab syntomic cohomology |
| SYNXN5TKJA | SYNXN5TKJA | conjecture | record (an 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.16245#ICJK |
| SYNZFH2ZFN | SYNZFH2ZFN | 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.40096#X3FQ |
| SYP0GZKZPF | SYP0GZKZPF | 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.06699#U2LR |
| SYP58F39M6 | SYP58F39M6 | 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.07001#GQMG |
| SYQ2FR08MQ | SYQ2FR08MQ | 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.36309#9UYN |
| SYQ4N53QCQ | SYQ4N53QCQ | 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.40191#8HQW |
| Syria | 8HSNZ95RN2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q858, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Syria |
| SYS5EC13K3 | SYS5EC13K3 | 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.28118#2H9P |
| System node | EFAENSKWH9 | 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 2508.18436#VQBK |
| System node | KEVSJWB38H | 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.03242#CBKP |
| system of equations | NXM135GM62 | unknown | open | Wikidata Q735660, MathWorld SimultaneousEquations, MathWorld SystemofEquations |
| system of imprimitivity | JPEGP8WN86 | unknown | open | Wikidata Q7663731, nLab system of imprimitivity |
| system of linear equations | J6QQKN30M4 | unknown | node (a node has the same name as the row) | Wikidata Q11203, MathWorld LinearSystemofEquations |
| System-node realization | E13SA36D84 | 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.03242#4L2V |
| Systematic $t$-SID Correcting Code | CPND2A327P | 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.37578#WJ9C |
| Systematic Multipermutation Codes | M1NAVY14TH | 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.37578#XYR8 |
| Systematic Multipermutation Encoder | H2MSRTQ6YW | 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.37578#S5G2 |
| Systematic PID Decoder | P4445C1ASE | 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.37578#DHXV |
| Systematic PID Encoder | FQQ0BM51G6 | 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.37578#20PL |
| Systematic SID Decoder | MFZY75ASAQ | 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.37578#854U |
| Systematic SID Encoder | 41NDYD0ZXV | 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.37578#JZGO |
| systems theory | AVMRCHZ0G7 | topic | open | Wikidata Q269699 |
| Systolic inequality | HYNN1R63T1 | 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.19273#QE4P |
| SYSWM3KX56 | SYSWM3KX56 | 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 1512.06981#HBJQ |
| SYT0S4ERM6 | SYT0S4ERM6 | 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 1912.02769#WIYV |
| SYTB5ZHA2N | SYTB5ZHA2N | 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.26509#7D13 |
| SYV0M1P1X5 | SYV0M1P1X5 | 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.04694#1BHS |
| SYV7TNNNWE | SYV7TNNNWE | 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.21045#JOTF |
| SYVYGDM29F | SYVYGDM29F | statement | open | hott_book basics.tex#thm:trans-prod |
| SYW81RAZ6N | SYW81RAZ6N | 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.10152#OXX4 |
| SYWMRVT59A | SYWMRVT59A | 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.26896#2WQI |
| SYXCKGNF3H | SYXCKGNF3H | 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.32138#8RVL |