Math 2.0

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.

Rows 6601–6700 of 6923.

NameIdKindOutcomeSources
SYB6TKNZTCSYB6TKNZTCstatementrecord (an 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.32174#ROR2
SYC2YV7YVTSYC2YV7YVTstatementrecord (an 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.17571#QE3N
SYC3AHQ8DYSYC3AHQ8DYstatementrecord (an 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.22082#KMCU
SYDDH5GPM0SYDDH5GPM0statementrecord (an 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.00144#OPHZ
SYDSH1G2WWSYDSH1G2WWexamplerecord (an 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.00789#DQ6B
SYDWPMPTQ2SYDWPMPTQ2statementrecord (an 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.12689#PHEA
SYDZ7NQG84SYDZ7NQG84statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1709.08958#H3BR
SYE0742RG4SYE0742RG4statementrecord (an 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.06806#IZ48
SYE1TCAV02SYE1TCAV02statementrecord (an 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.33590#HXK8
SYEDMJSC9TSYEDMJSC9Tstatementrecord (an 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.12683#GZUS
SYFR6Y1PT2SYFR6Y1PT2statementrecord (an 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.10147#DCVL
SYGCXZMD4ASYGCXZMD4Aproofopenopen_logic content/model-theory/basics/partial-iso.tex#proof-2
SYHW7SR4KDSYHW7SR4KDdefinitionrecord (an 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.40207#UOAR
SYJJ4AFDHRSYJJ4AFDHRstatementopenlebl_ra ch-contfunc.tex#prop-6
SYJNN79SZSSYJNN79SZSstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2108.03672#H93R
SYK normGCM8P337AHstatementrecord (an 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.05953#UH24
SYK4E15MRRSYK4E15MRRstatementrecord (an 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.02535#8E1V
SYK5QT4GW9SYK5QT4GW9statementrecord (an 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.31274#HPVD
SYK7R54QPZSYK7R54QPZstatementrecord (an 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.36181#WF1A
SYK9H41FTJSYK9H41FTJstatementrecord (an 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.26169#JCZ1
SYKD5J399YSYKD5J399Ystatementrecord (an 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.18358#015T
Syksy RäsänenE0XFDDRK9Xunknownout_of_scope (a person, not an item of mathematics)Wikidata Q16547243, nLab Syksy Räsänen
Sylow divisibilityKW32KZ12M2statementrecord (an 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#EP59
Sylow subgroupMDVFMCD53AconceptopenWikidata Q10686808, EoM Sylow_subgroup, MathWorld Sylowp-Subgroup, nLab Sylow p-subgroup, ProofWiki Definition:Sylow_p-Subgroup
Sylow theoremsJ2SQGB265Fstatementopenmathlib_100 72, Mathlib Sylow.exists_subgroup_card_pow_prime, Mathlib Sylow.isPretransitive_of_finite, Mathlib Sylow.card_dvd_index, Mathlib card_sylow_modEq_one, mathlib_1000 Q1057919, Wikidata Q1057919, mathlib_overview General algebra > Group theory > first Sylow theorem, mathlib_overview General algebra > Group theory > second Sylow theorem, mathlib_overview General algebra > Group theory > third Sylow theorem, thousand_plus Q1057919, Wikipedia Sylow theorems, EoM Sylow_theorems, MathWorld SylowTheorems, ProofWiki Sylow_Theorems
Sylvester form in fixed coarse coordinatesW86J4NZQP1statementrecord (an 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.20270#9XTC
Sylvester graphWKRBDR2FN8unknownopenWikidata Q3115536, House of Graphs 1336, MathWorld SylvesterGraph
Sylvester matrixP2KX1QSNDJconceptopenWikidata Q1482452, MathWorld SylvesterMatrix
Sylvester pentahedral theoremGJ1K9JGRYYstatementopenmathlib_1000 Q7269559, Wikidata Q7269559, thousand_plus Q7269559, Wikipedia Sylvester pentahedral theorem
Sylvester's criterionAQC3M4PBKEstatementnode (a node has the same Wikidata item as the row)Wikidata Q2709660, MathWorld SylvestersCriterion
Sylvester's determinant theoremCPFSKYZ2DVstatementnode (a node has the same name as the row)mathlib_1000 Q7660749, Mathlib Matrix.det_one_add_mul_comm, Wikidata Q7660749, thousand_plus Q7660749, Wikipedia Sylvester's determinant theorem
Sylvester's law of inertia28SGWPW0EDstatementnode (a node has the same Wikidata item as the row)mathlib_1000 Q1752621, Mathlib QuadraticForm.equivalent_one_zero_neg_one_weighted_sum_squared, Wikidata Q1752621, mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > Sylvester's law of inertia (existence), mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > real classification, thousand_plus Q1752621, Wikipedia Sylvester's law of inertia, EoM Law_of_inertia, MathWorld SylvestersInertiaLaw
Sylvester's law of inertia (uniqueness)QXVYMHT452unknownopenmathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > Sylvester's law of inertia (uniqueness), Mathlib QuadraticForm.sigPos_of_equiv_weightedSumSquares
Sylvester's sequenceAA9M0AD2JHobjectopenWikidata Q2293800, MathWorld SylvestersSequence, OEIS A000058
Sylvester–Gallai theoremGYRKQCRMRCstatementopenmathlib_1000 Q748233, Wikidata Q748233, thousand_plus Q748233, Wikipedia Sylvester–Gallai theorem, MathWorld OrdinaryLine
Sylvie PaychaNRV5JZJCK5unknownout_of_scope (a person, not an item of mathematics)Wikidata Q6529413, nLab Sylvie Paycha
SYM16K5KXESYM16K5KXEdefinitionrecord (an 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.36884#6B89
SYM5BA42PASYM5BA42PAstatementrecord (an 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.06544#AHKZ
Symbol class3A7GF9SD43definitionrecord (an 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.08809#KCTB
symbol of a differential operatorDAGF2SGPDYunknownopenWikidata Q4555178, nLab symbol of a differential operator
Symbolic Conditions for Lyapunov Functions \footnote{This example has been formally verified using the $\dL$ theorem prover KeYmaera X with exact arithmetic.EB26G2WFH1examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.08233#ND9G
symbolic logicNRBXE8K33PunknownopenWikidata Q6083405, MathWorld SymbolicLogic
Symbols of one-sided certificatesZJT6MFVPVRstatementrecord (an 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.09912#G75Y
symmedianCG7DWW40MQconceptopenWikidata Q556309, MathWorld Symmedian
symmetricG5QSSJ2C2Sconceptopenapplied_combinatorics index/B.13/symmetric
Symmetric $d$-Codes4QQQRC1TMSexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2202.03009#AENU
symmetric algebraNHCTJ73BGMunknownopenWikidata Q1052674, EoM Symmetric_algebra, nLab symmetric algebra
Symmetric approximate functional equationMZKYHQ9N66statementrecord (an 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.22107#F2D9
symmetric bilinear formY6VB5BXD4Punknownopenmathlib_overview Linear algebra > Bilinear and quadratic forms > symmetric bilinear form, Mathlib LinearMap.BilinForm.IsSymm, mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > symmetric bilinear forms
symmetric bilinear formYDW448JN0Funknownnode (a node has the same Wikidata item as the row)Wikidata Q2100018, MathWorld SymmetricBilinearForm
symmetric differenceEA7MJB7FQWdefinitionnode (a node has the same name as the row)Wikidata Q1147242, EoM Symmetric_difference_of_sets, MathWorld SymmetricDifference, ProofWiki Definition:Symmetric_Difference
Symmetric erosion of a bisection domainTEVCV4QCG3definitionrecord (an 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.25987#KQ8H
symmetric function57HGQ38AAWunknownopenWikidata Q981351, EoM Symmetric_function, MathWorld SymmetricFunction, nLab symmetric function
symmetric functionY1CV3T6CXWconceptopenlebl_scv index/6.2/symmetric-function
symmetric graphMANPFZNQRWunknownopenWikidata Q1205074, MathWorld Arc-TransitiveGraph
Symmetric Grassmann-type formulaW4AJAZPQDCstatementrecord (an 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.06739#JJ6B
symmetric groupE6FTXK2B33definitionnode (a node has the same name as the row)Wikidata Q849512, EoM Symmetric_group, LMFDB knowl group.symmetric, MathWorld SymmetricGroup, nLab symmetric group, ProofWiki Definition:Symmetric_Group
Symmetric group algebra34KX549652definitionrecord (an 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#6TIY
symmetric group S48FHNEGXRG9unknownopenWikidata Q10686891, nLab octahedral group, Wikidata Q2017567, MathWorld OctahedralGroup
Symmetric groupsA0G8MA1327examplerecord (an 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.18154#9XQG
symmetric groupsZ5WZSVK7Z9examplerecord (an 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#Z0VF
Symmetric hypergraph theoremN51V494W1Wstatementopenmathlib_1000 Q7661308, Wikidata Q7661308, thousand_plus Q7661308, Wikipedia Symmetric hypergraph theorem
Symmetric matrices and spectrahedra527P7W6973statementrecord (an 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#2QXC
symmetric matrix1EF1CTST0Jconceptopenaustin_ula index/7.1.2/symmetric-matrix
symmetric matrix341NH6XE8Xconceptopenlebl_diffyqs index/5.1.3/symmetric-matrix
symmetric matrix42HBTH0KFHunknownnode (a node has the same name as the row)Wikidata Q339011, EoM Symmetric_matrix, MathWorld SymmetricMatrix
symmetric matrixG6FVWE1ZR7conceptopenlebl_diffyqs index/2.2.7/symmetric-matrix
Symmetric means and equal entropies11MM27KQNCstatementrecord (an 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.24931#Y00C
symmetric monoidal category3F3YM6TZJZunknownopenWikidata Q17103860, nLab symmetric monoidal category
symmetric operator26NV5CHF32unknownopenWikidata Q12152731, EoM Symmetric_operator
Symmetric output from a larger nonsymmetric input12TE80W2M5statementrecord (an 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#R09O
symmetric part of a tensorPY3Y4YNT8PunknownopenWikidata Q122590609, MathWorld SymmetricPart
Symmetric perturbationsQ76HMSYJ2Rstatementrecord (an 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.05164#RDVK
symmetric polynomialVXCFMQFY17unknownnode (a node has the same name as the row)Wikidata Q930499, EoM Symmetric_polynomial, MathWorld SymmetricPolynomial
symmetric polynomials9D6C55PDJVunknownopenmathlib_undergrad Ring Theory > Polynomial rings > symmetric polynomials, Mathlib MvPolynomial.IsSymmetric
Symmetric product-power face trichotomyC3CPBTMR8Pstatementrecord (an 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.29658#MBTQ
symmetric relation12WQRMNFYGconceptopenlebl_ra index/11.9.4/symmetric-relation
symmetric relationW7AYYEJG1Cdefinitionnode (a node has the same name as the row)Wikidata Q621461, MathWorld SymmetricRelation, nLab symmetric relation, ProofWiki Definition:Symmetric_Relation
symmetric sequence9X7671VBRVstatementrecord (an 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#248G
symmetric set5BM05NJCHFunknownopenWikidata Q16966154, nLab symmetric set
symmetric spacePRGXDQVENWunknownopenWikidata Q3058244, nLab symmetric space
symmetric spectrum86CQQ2TRC5unknownopenWikidata Q17090831, nLab symmetric spectrum
symmetric tensor6SJP7AKYCBunknownopenWikidata Q2204117, EoM Symmetrization_(of_tensors), MathWorld SymmetricTensor
Symmetric terms of degree at least three at the $\chi_K$-critical depthEP3HJ8E28Wstatementrecord (an 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.10583#VAHF
Symmetric three-node completionJWS8ES3TYJstatementrecord (an 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.25027#R88Y
Symmetric Turnover2PS60ZXWZRstatementrecord (an 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.12228#PDOH
Symmetric TurnoverFMAEPN68VZstatementrecord (an 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.12228#POVK
Symmetric--skew-symmetric pair1MWWRRB2VXstatementrecord (an 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.08980#AE8I
Symmetric-KL MinimiserCQX5X9AHH5statementrecord (an 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.27120#1WQC
Symmetries5QS7010E4Estatementrecord (an 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#DXKM
SymmetriesHH6E4W53MRstatementrecord (an 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.18350#3IDM
Symmetries and monotonicity in the twistN61TJJW50Ystatementrecord (an 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.09912#JVCM
Symmetries induced by a trivially-co-acting magnetic co-symmetry3KV5PPHNFJexamplerecord (an 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.03865#0I6Y
Symmetries of the Okubonic Julia setsG0PWRQDXPAstatementrecord (an 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.09544#O6BQ
SymmetrisationA17VPSYSEAstatementrecord (an 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.07905#LAHJ
symmetrizationMBMAC2MQGYunknownopenWikidata Q3507967, EoM Symmetrization
symmetrization decompositionZ6ED8AKPX0statementrecord (an 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.06909#R0TS
Symmetrization of a POVM9VA65CP97Zstatementrecord (an 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.29348#9SHO
Symmetrization; cf.\XGK8QE6B66statementrecord (an 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.15421#I42D
Symmetrized Kinser slack3JTMX0JT8Nstatementrecord (an 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.06739#4D33