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 1401–1500 of 6923.

Name	Id	Kind	Outcome	Sources
Schinzel's hypothesis H	6WHB3WDT92	conjecture	open	Wikidata Q137885, MathWorld SchinzelsHypothesis
Schinzel's theorem	77AXJ9YYAX	statement	open	Wikidata Q25304092, MathWorld SchinzelsTheorem
Schlegel diagram	Z3G5M3C58Z	unknown	open	Wikidata Q2004228, MathWorld SchlegelGraph
Schläfli double six	DZHW2GQQQZ	concept	open	Wikidata Q7431763, MathWorld DoubleSixes
Schläfli graph	9189DXP3GC	unknown	open	Wikidata Q3115532, House of Graphs 1300, MathWorld SchlaefliGraph
Schläfli symbol	83SXYF3M79	unknown	open	Wikidata Q1347011, MathWorld SchlaefliSymbol
Schmidt	4ETZ4562PE	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.33027#LNV1
Schmidt	K8RG9HE8PW	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.17589#12UA
Schmidt's quadratic-form count	C0PFTAJJMD	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.15815#AZLM
Schmidt-Spitzer	REX0DAS1K7	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.13715#SMN0
SCHN75S94J	SCHN75S94J	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.27800#XK6E
Schneider–Lang theorem	11DQWYYD8V	statement	open	mathlib_1000 Q2862403, Wikidata Q2862403, thousand_plus Q2862403, Wikipedia Schneider–Lang theorem
Schnirelmann density	JJCNHRZBT2	statement	open	mathlib_1000 Q2482753, Wikidata Q2482753, thousand_plus Q2482753, Wikipedia Mann's theorem, MathWorld SchnirelmannDensity
Schnyder's theorem	TTQ1WCE0AC	statement	open	mathlib_1000 Q7431925, Wikidata Q7431925, thousand_plus Q7431925, Wikipedia Schnyder's theorem
Schoch line	RYJRDRSJ8D	unknown	open	Wikidata Q1878128, MathWorld SchochLine
Schoenflies problem	520932DBGX	statement	open	mathlib_1000 Q495412, Wikidata Q495412, thousand_plus Q495412, Wikipedia Jordan–Schönflies theorem, MathWorld SchoenfliesTheorem
Scholz conjecture	TWE10RDE58	conjecture	open	Wikidata Q643614, MathWorld ScholzConjecture
school of thought	J8F81KJQB6	definition	open	Wikidata Q1387659, ProofWiki Definition:School
Schottky boundary dynamics	T6DRP55VC4	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.36098#W757
Schottky completion	BC499CCQV9	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.36098#B6Q9
Schouten–Nijenhuis bracket	NP476PG3M1	concept	open	Wikidata Q7432782, nLab Schouten bracket
Schr\"oder-Bernstein	RQQV8BDK5W	statement	open	open_logic content/sets-functions-relations/size-of-sets/schroder-bernstein.tex#thm:schroder-bernstein
Schr\"odinger fixed-depth consequence	CN9RZ15NFC	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.16094#ALIC
Schr\"odinger reduction	1WJ7ZB6BR4	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.14069#1D4C
Schr\"odinger-bridge white noise and pillow	V51A09TV9D	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.14616#4NBR
Schreier refinement theorem	V4ZB93MSX9	statement	open	mathlib_1000 Q7432872, Wikidata Q7432872, thousand_plus Q7432872, Wikipedia Schreier refinement theorem
Schreier's lemma	S6H52ZVS36	statement	open	mathlib_overview General algebra > Group theory > Schreier's lemma, Mathlib Subgroup.closure_mul_image_eq, Wikidata Q3229345
Schroeder stairs	JRF0BQPSM9	unknown	open	Wikidata Q21072708, MathWorld SchroederStairs
Schroeder--Bernstein	VH5AF11WCF	statement	open	hott_book setmath.tex#thm-3
Schroeder--Bernstein theorem	TPYW7RKC9H	concept	open	hott_book index/C.2/schroeder-bernstein-theorem
Schroeder–Bernstein theorem for measurable spaces	XTNGCK31MN	statement	open	mathlib_1000 Q7432915, Mathlib MeasurableEmbedding.schroederBernstein, Wikidata Q7432915, thousand_plus Q7432915, Wikipedia Schroeder–Bernstein theorem for measurable spaces
Schröder number	698YV9FRVG	object	open	Wikidata Q2071909, MathWorld SchroederNumber, OEIS A006318
Schröder–Bernstein theorems for operator algebras	35D7FWP8MW	statement	open	mathlib_1000 Q7432918, Wikidata Q7432918, thousand_plus Q7432918, Wikipedia Schröder–Bernstein theorems for operator algebras
Schröder–Hipparchus number	QQCVFKK3TQ	concept	open	Wikidata Q15264444, MathWorld SuperCatalanNumber
Schrödinger equation	JFHP6082NA	definition	open	Wikidata Q165498, MathWorld SchroedingerEquation, nLab Schrödinger equation, ProofWiki Definition:Schrödinger's_Equation
Schubert calculus	KZ5CCJR19P	topic	open	Wikidata Q7432936, nLab Schubert calculus
Schubert variety	8DHDFSEBHJ	unknown	open	Wikidata Q7432938, MathWorld SchubertVariety, nLab Schubert variety
Schur algebra	QE9X24PX2Y	unknown	open	Wikidata Q7433031, MathWorld SchurAlgebra
Schur alternative	850WM949ZD	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.25987#9VZL
Schur decomposition	EKM9AYCE6V	unknown	open	Wikidata Q1064218, MathWorld SchurDecomposition
Schur functor	RYJBXYH8RC	unknown	open	Wikidata Q7433033, MathWorld SchurFunctor, nLab Schur functor
Schur multiplier	QEYMB6C6EW	unknown	open	Wikidata Q3327702, EoM Schur_multiplicator, LMFDB knowl group.schur_multiplier, MathWorld SchurMultiplier, nLab Schur multiplier
Schur orthogonality	9M4PA16D0E	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#0VN2
Schur polynomial	4KEN178AHE	unknown	open	Wikidata Q4298935, MathWorld SchurPolynomial
Schur representation of the interaction factor	AGYB4DJJ16	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.00396#OPLG
Schur unit-disk stability test for a quadratic	TJ6PY2A3VA	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#XB1I
Schur's lemma	BK1C9A554P	statement	open	arXiv 2306.12846#W367, mathlib_1000 Q1816952, Mathlib CategoryTheory.finrank_endomorphism_simple_eq_one, Wikidata Q1816952, thousand_plus Q1816952, Wikipedia Schur's lemma, MathWorld SchursRepresentationLemma, nLab Schur's lemma, ProofWiki Schur_lemma
Schur's lemma	ZPJ7BM7YRR	unknown	open	mathlib_undergrad Linear algebra > Linear representations > Schur's lemma, Mathlib FDRep.finrank_hom_simple_simple
Schur's theorem	6M7A3YES1D	statement	open	mathlib_1000 Q1786292, Wikidata Q1786292, thousand_plus Q1786292, Wikipedia Schur's theorem
Schur's theorem	7B9RYAA71S	statement	open	Wikidata Q60973556, ProofWiki Schur's_Theorem_(Ramsey_Theory)
Schur--Amitsur centralizer theorem	NT2KFD8SYK	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.14044#IYBT
Schur-complement denominators and determinant factorization	B1CV03CSCA	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.26066#RA3R
Schur-type theorem in the squares	6S2PSD9VQ5	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 1806.05002#AO7G
Schur-type Theorems	XYXP9FY6YN	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 1709.04968#K6S7
Schurian coherent configuration on triples	V3M1K71JGS	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.15340#G5XR
Schur–Horn theorem	K7RS73QQ3B	statement	open	arXiv 1709.04968#OUM5, Wikidata Q7433042, MathWorld HornsTheorem
Schur–Zassenhaus theorem	BZTK5QT6PT	statement	open	mathlib_1000 Q2226800, Mathlib Subgroup.exists_left_complement'_of_coprime, Wikidata Q2226800, thousand_plus Q2226800, Wikipedia Schur–Zassenhaus theorem
Schwartz function	GP5KMEBQWF	definition	open	Wikidata Q5870972, MathWorld SchwartzFunction, ProofWiki Definition:Schwartz_Test_Function
Schwartz kernel theorem	XJFX3A5G2A	statement	open	mathlib_1000 Q1276318, Wikidata Q1276318, thousand_plus Q1276318, Wikipedia Schwartz kernel theorem
Schwartz space	4267F89EZY	unknown	open	mathlib_overview Analysis > Distribution theory > Schwartz space, Mathlib SchwartzMap, mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > Schwartz space of rapidly decreasing functions
Schwartz space	MCYH1R1B86	concept	open	Wikidata Q1369621, MathWorld SchwartzSpace, nLab Schwartz space, ProofWiki Definition:Schwartz_Space
Schwartz–Zippel theorem	DCJQW56VW0	statement	open	mathlib_1000 Q7433182, Mathlib MvPolynomial.schwartz_zippel_sup_sum, Wikidata Q7433182, thousand_plus Q7433182, Wikipedia Schwartz–Zippel theorem
Schwarz alternating method	NRAAJHT2GH	unknown	open	Wikidata Q7433186, EoM Alternating_Schwarz_method
Schwarz lemma	RTF7SEFTFS	unknown	open	mathlib_overview Analysis > Complex analysis > Schwarz lemma, Mathlib Complex.norm_le_norm_of_mapsTo_ball
Schwarz lemma	YHW0NB6NRH	statement	node (a node has the same Wikidata item as the row)	Wikidata Q1341771, EoM Schwarz_lemma, MathWorld SchwarzsLemma, ProofWiki Schwarz's_Lemma
Schwarz minimal surface	8H17J7B7HA	concept	open	Wikidata Q7433187, MathWorld SchwarzsMinimalSurface
Schwarz reflection principle	F2WMQ49S93	statement	open	lebl_scv scv.tex#thm-38
Schwarz reflection principle	RPWVG09ST4	concept	open	lebl_scv index/B/schwarz-reflection-principle
Schwarz reflection principle	SKCXBX148W	statement	open	Wikidata Q4378892, MathWorld SchwarzReflectionPrinciple
Schwarz reflection principle for harmonic functions	9KSW7F9H0C	statement	open	lebl_scv scv.tex#thm-39
Schwarz triangle	ENSEWD8YS7	concept	open	Wikidata Q3890103, MathWorld SchwarzTriangle
Schwarz's lemma	1X4A6CXT10	statement	open	lebl_scv scv.tex#lemma-5
Schwarz's lemma	9BE58573C4	concept	open	lebl_scv index/B/schwarz-s-lemma
Schwarz--Pick Lemma	FVPWS57X8B	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.02935#6LJ6
Schwarz-Ahlfors Lemma	G7275H72RH	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 2208.04502#VOH7
Schwarz-Pick Lemma	EJZC9A8XKQ	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.00312#2JAN
Schwarz-Symmetrization of a Function	EWQTGG8FVR	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.05056#QUH3
Schwarzian derivative	YN9EF14HHK	unknown	open	Wikidata Q864589, EoM Schwarzian_derivative, MathWorld SchwarzianDerivative, nLab Schwarzian derivative
Schwarzschild radius	6K5KEWBCK3	unknown	open	Wikidata Q72755, nLab Schwarzschild radius
Schwarz–Ahlfors–Pick theorem	18067N0KMH	statement	open	mathlib_1000 Q942046, Wikidata Q942046, thousand_plus Q942046, Wikipedia Schwarz–Ahlfors–Pick theorem
Schwinger effect	JBZ4GAJAMA	unknown	open	Wikidata Q60519967, nLab Schwinger effect
Schwinger limit	H1T08G1BR9	unknown	open	Wikidata Q1789519, nLab Schwinger limit
SCHXM3NHPC	SCHXM3NHPC	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.02901#MI2I
science	D436081TFM	definition	open	Wikidata Q336, nLab science, ProofWiki Definition:Science
Science of Logic	S8JVM2T8KP	unknown	out_of_scope (a book or a journal, not an item of mathematics)	Wikidata Q374811, nLab Science of Logic
Scientific American	P3NWWDQBM0	unknown	out_of_scope (a book, not an item of mathematics)	Wikidata Q39379, ProofWiki Book:Journal/Scientific_American
scientific journal	8X9T4V3QDD	unknown	out_of_scope (a book, not an item of mathematics)	Wikidata Q5633421, ProofWiki Book:Journal
scientific notation	95FHBQFBG3	unknown	open	Wikidata Q219142, MathWorld ScientificNotation
SCKJY0RBFH	SCKJY0RBFH	statement	open	open_logic content/computability/computability-theory/non-comp-set.tex#thm:K
SCKV2HPCJC	SCKV2HPCJC	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#WD5Z
SCM2FPM5WV	SCM2FPM5WV	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.19194#WMOD
SCMET4B9N7	SCMET4B9N7	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.33775#2D7C
SCMXVTH45S	SCMXVTH45S	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.15302#X4YU
SCNBVQAB7G	SCNBVQAB7G	statement	open	lebl_ra ch-one-dim-ints-sv.tex#mv:prop:pathconcat
SCNJ7DM4V5	SCNJ7DM4V5	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.13875#3LRR
SCNJRDV57W	SCNJRDV57W	exercise	open	lebl_ra ch-approximate.tex#exercise:fsdiffmindecay
Scond isodynamic center	ZKB74B236B	unknown	open	Wikidata Q24818804, MathWorld SecondIsodynamicPoint
scope	9R3X0C70C1	concept	open	hott_book index/A.4/scope
Scope	F44D6AWBRY	definition	open	open_logic content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex#defn-2
scope	MWD4NS8NN9	concept	open	hott_book index/A.6/scope