PlanetMath
 Math for the people, by the people. Encyclopedia | Books | Papers | Expositions | Requests | Forums | Docs | Random
bshanks
your stuff
your info (view)
preferences
permissions
your objects
your groups
watches
corrections (1)
mailbox
notices (2)
members only
user activity
user list
sys stats
add to
Encyclopædia
Papers
Books
Expositions
Main Menu
the math
Encyclopædia
Papers
Books
Expositions

meta
Requests (55)
Orphanage (10)
Unclass'd (217)
Unproven (164)
Corrections (112)

talkback
Polls
Forums
Feedback
Bug Reports

information
Docs
Classification
News
Legalese
History
ChangeLog
TODO List
PlanetMath Encyclopedia
(browse by subject)
1 - 1 entry
2 - 1 entry
3 - 1 entry
4 - 1 entry
A - 239 entries
B - 172 entries
C - 566 entries
D - 240 entries
E - 215 entries
F - 219 entries
G - 158 entries
H - 186 entries
I - 200 entries
J - 43 entries
K - 65 entries
L - 252 entries
M - 228 entries
N - 176 entries
O - 96 entries
P - 307 entries
Q - 58 entries
R - 234 entries
S - 484 entries
saddle point approximation owned by msihl
Salem number owned by bbukh
sampling theorem owned by akrowne
Sard's theorem owned by bs
satisfaction (satisfaction relation) owned by jihemme
satisfaction relation owned by jihemme
satisfies (model) owned by Henry
satisfies as a Chu space (property of a Chu space) owned by Henry
satisfy (satisfaction relation) owned by jihemme
saturated owned by drini
saturated (saturated (set)) owned by dublisk
saturated (set) owned by dublisk
Satz 90 (Hilbert Theorem 90) owned by djao
scalar owned by slider142
scalar product (dot product) owned by drini
scalar triple product (triple scalar product) owned by slider142
Schaar's identity (Landsberg-Schaar relation) owned by Larry Hammick
Schauder basis (countable basis) owned by djao
Scheffé's theorem owned by Koro
scheme owned by djao
Schinzel's theorem owned by nerdy2
schönfinkeling (currying) owned by Logan
schönfinkelization (currying) owned by Logan
Schnirelmann density owned by bbukh
Schnitt (Dedekind cuts) owned by rmilson
Schroeder-Bernstein theorem owned by vampyr
proof of Schroeder-Bernstein theorem owned by mps
Schur's Inequality owned by slash
Schur's lemma owned by rmilson
Schwarz inequality (Cauchy-Schwarz inequality) owned by drini
Schwarz lemma owned by ariels
proof of Schwarz lemma owned by ariels
scope (quantifier) owned by Henry
SDR (system of distinct representatives) owned by vampyr
search problem owned by Henry
second axiom of countability (second countable) owned by Evandar
second category (Baire category theorem) owned by ariels
second countable owned by Evandar
second derivative test (relations between Hessian matrix and local extrema) owned by bshanks
second fundamental theorem of calculus (fundamental theorems of calculus) owned by drini
second isomorphism theorem owned by djao
proof of second isomorphism theorem owned by saforres
second-order (second order logic) owned by Henry
second order (second order logic) owned by Henry
second order arithmetic ($Z_2$) owned by Henry
second order language (second order logic) owned by Henry
second-order language (second order logic) owned by Henry
second order linear differential equation with constant coefficients owned by jarino
second-order logic (second order logic) owned by Henry
second order logic owned by Henry
second order theory (second order logic) owned by Henry
second-order theory (second order logic) owned by Henry
second proof of Wedderburn's theorem owned by ottocolori
section (section of a fiber bundle) owned by antonio
section (sheaf) owned by djao
section of a fiber bundle owned by antonio
sector (sector of a circle) owned by giri
sector of a circle owned by giri
Seifert-Van Kampen theorem (Van Kampen's theorem) owned by Dr_Absentius
selection sort owned by Logan
self-adjoint (Hermitian matrix) owned by akrowne
self-adjoint (self-dual) owned by rmilson
self consistent matrix norm owned by Johan
self consistent norm (self consistent matrix norm) owned by Johan
self-dual owned by rmilson
self-equivalence. (deck transformation) owned by Dr_Absentius
self equivalence (deck transformation) owned by Dr_Absentius
self-reducible owned by Henry
semantics (logic) owned by Henry
semi-continuous owned by n3o
semidirect product (semidirect product of groups) owned by djao
semi-direct product (semidirect product of groups) owned by djao
semidirect product of groups owned by djao
semigroup owned by djao
semigroup of transformations owned by mclase
semilattice owned by mclase
semilattice congruence (semilattice decomposition of a semigroup) owned by mclase
semilattice decomposition of a semigroup owned by mclase
a semilattice is a commutative band owned by mclase
semilocally 1-connected (semilocally simply connected) owned by djao
semilocally simply connected owned by djao
example of a semilocally simply connected space which is not locally simply connected owned by antonio
semilocal ring (semi-local ring) owned by Evandar
semi-local ring owned by Evandar
semi-norm (seminorm) owned by rmilson
seminorm owned by rmilson
semi-order (quasi-order) owned by draisma
semiorder (quasi-order) owned by draisma
semiprime owned by drini
semi-prime (semiprime) owned by drini
semiprime ideal owned by antizeus
semiprime ring (semiprime ideal) owned by antizeus
semiprimitive (semiprimitive ring) owned by saforres
semiprimitive Artinian (semiprimitive ring) owned by saforres
semiprimitive ring owned by saforres
examples of semiprimitive rings owned by saforres
semi-recursive (recursively enumerable) owned by ariels
semi-recursive (recursively enumerable) owned by ariels
semiring owned by Logan
semi-simple (simple and semi-simple Lie algebras) owned by bwebste
semisimple (semiprimitive ring) owned by saforres
semisimple (radical theory) owned by mclase
semisimple (completely reducible) owned by bwebste
semisimple Artinian (semiprimitive ring) owned by saforres
semisimple group owned by bwebste
semisimple ring (semiprimitive ring) owned by saforres
sentence owned by Henry
separable owned by bwebste
separable owned by Evandar
separable (Chu space) owned by Henry
separable owned by djao
separable closure owned by djao
separated scheme owned by djao
separation (comprehension axiom) owned by Henry
separation axiom (comprehension axiom) owned by Henry
separation axioms owned by Koro
separation of variables owned by slider142
sequence owned by djao
sequent owned by Henry
sequential compactness (sequentially compact) owned by mps
sequentially compact owned by mps
series owned by igor
Serre-Swan theorem owned by mhale
Serret-Frenet equations owned by rmilson
Serret-Frenet formulas (Serret-Frenet equations) owned by rmilson
sesquilinear form (Hermitian form) owned by djao
sesqui-linear form (Hermitian form) owned by djao
set owned by akrowne
set difference owned by quadrate
sets that do not have an infimum owned by sleske
set symmetric difference (symmetric difference) owned by quadrate
set theory owned by mathwizard
Shanks-Tonelli algorithm owned by vampyr
Shannon entropy (Shannon's theorem) owned by drummond
Shannon's theorem owned by drummond
Sharkovskii's ordering (Sharkovskii's theorem) owned by Koro
Sharkovskii's theorem owned by Koro
sharply multiply transitive owned by bwebste
sharply $n$-transitive (sharply multiply transitive) owned by bwebste
sheaf owned by djao
sheafification owned by djao
sheaf isomorphism (sheaf) owned by djao
short exact sequence owned by antizeus
shuffle ($(p,q)$ shuffle) owned by matte
Sierpinski conjecture owned by vladm
Sierpinski gasket owned by quincynoodles
Sierpinski space owned by Evandar
Sierpinski triangle (Sierpinski gasket) owned by quincynoodles
sieve of Eratosthenes owned by vampyr
$\sigma$-additive (additive) owned by vampyr
sigma-additive (additive) owned by vampyr
$\sigma$-algebra owned by djao
$\sigma$ algebra ($\sigma$-algebra) owned by djao
sigma-algebra ($\sigma$-algebra) owned by djao
sigma algebra ($\sigma$-algebra) owned by djao
delta constant sigma owned by antizeus
sigma derivation owned by antizeus
$\sigma$ finite ($\sigma$-finite) owned by drummond
sigma-finite ($\sigma$-finite) owned by drummond
sigma finite ($\sigma$-finite) owned by drummond
$\sigma$-finite owned by drummond
sigma-infinite ($\sigma$-finite) owned by drummond
$\sigma$-infinite ($\sigma$-finite) owned by drummond
sigma-n (arithmetical hierarchy) owned by Henry
sigma n (arithmetical hierarchy) owned by Henry
signature of a permutation owned by Larry Hammick
signed measure owned by Koro
sign of a permutation (signature of a permutation) owned by Larry Hammick
signum function owned by matte
similarity transformation (similar matrix) owned by drummond
similar matrices (similar matrix) owned by drummond
similar matrix owned by drummond
simple (simple semigroup) owned by mclase
simple (simple and semi-simple Lie algebras) owned by bwebste
simple and semi-simple Lie algebras owned by bwebste
simple closed curve (curve) owned by rmilson
simple continued fraction (continued fraction) owned by Larry Hammick
simple function (Lebesgue integral) owned by djao
simple function owned by drummond
simple graph (graph) owned by drini
simple group (simple group) owned by Evandar
simple group owned by Evandar
simple module owned by antizeus
simple path owned by Logan
simple pole owned by bwebste
simple ring owned by antizeus
simple root owned by bwebste
simple semigroup owned by mclase
Simplex algorithm owned by Johan
simplicial category owned by mhale
simplicial cohomology (simplicial complex) owned by djao
simplicial complex owned by djao
simplicial homology (simplicial complex) owned by djao
simplicial object owned by mhale
simplicial set (simplicial object) owned by mhale
simplicity of the alternating groups owned by rmilson
simply connected owned by RevBobo
Simson's line owned by drini
proof of Simson's line owned by giri
simultaneous converging or diverging of product and sum theorem owned by Johan
proof of Simultaneous converging or diverging of product and sum theorem owned by Johan
sines law owned by drini
sines law proof owned by drini
singleton owned by Koro
singular owned by akrowne
singular (cofinality) owned by Evandar
singular (singular measure) owned by Koro
singular cardinal (cofinality) owned by Evandar
singular measure owned by Koro
singular point (nonsingular variety) owned by bwebste
singular set owned by bwebste
singular transformation (singular) owned by akrowne
singular value (singular value decomposition) owned by akrowne
singular value decomposition owned by akrowne
singular vector (singular value decomposition) owned by akrowne
sinh (hyperbolic functions) owned by mathwizard
sink (second order linear differential equation with constant coefficients) owned by jarino
sink (flow) owned by vampyr
site owned by drini
size (size (of a graph)) owned by digitalis
size (cardinality) owned by akrowne
size (of a graph) owned by digitalis
skeleta (CW complex) owned by antonio
skeleton (CW complex) owned by antonio
skew derivation owned by antizeus
skew field (division ring) owned by djao
skew-Hermitian matrix owned by matte
skew polynomial ring owned by antizeus
skew-symmetric (anti-symmetric) owned by rmilson
skew symmetric (skew-symmetric bilinear form) owned by sleske
skew-symmetric bilinear form owned by sleske
skew-symmetric matrix owned by Daume
Skolem constant (Skolemization) owned by Henry
Skolem function (Skolemization) owned by Henry
Skolemization owned by Henry
smaller integer greater or equal than (ceiling) owned by drini
smallest integer (ceiling) owned by drini
smallest spanning tree (minimum spanning tree) owned by Logan
small-o (Landau notation) owned by Larry Hammick
small-omega (Landau notation) owned by Larry Hammick
smooth (differentiable function) owned by igor
smooth function (differentiable function) owned by igor
smooth manifold (manifold) owned by rmilson
smooth map (differentiable function) owned by igor
smooth mapping (differentiable function) owned by igor
smooth number owned by bbukh
smooth section (section of a fiber bundle) owned by antonio
smooth structure (manifold) owned by rmilson
Snake lemma owned by bwebste
solenoidal (solenoidal field) owned by giri
solenoidal field owned by giri
solidus (fraction) owned by digitalis
solution of system (eigenfunction) owned by tensorking
solvable (solvable Lie algebra) owned by djao
solvable (solvable group) owned by djao
solvable group owned by djao
solvable Lie algebra owned by djao
some examples of universal bundles owned by bwebste
Sorgenfrey line owned by igor
Sorgenfrey topology (Sorgenfrey line) owned by igor
sort (logic) owned by Henry
sorting problem owned by Logan
soul (supernumber) owned by mhale
sound (sound, complete) owned by Henry
sound, complete owned by Henry
source (flow) owned by vampyr
source (second order linear differential equation with constant coefficients) owned by jarino
space constructible (constructible) owned by Henry
space curve owned by rmilson
a space is compact if and only if the space has the finite intersection property owned by matte
span owned by slider142
spanned by (subgraph) owned by digitalis
spanning (subgraph) owned by digitalis
spanning set (span) owned by slider142
spanning subgraph (subgraph) owned by digitalis
spanning tree owned by Logan
special linear group owned by djao
specification (comprehension axiom) owned by Henry
specification axiom (comprehension axiom) owned by Henry
spectral radius owned by Koro
spectral theorem owned by rmilson
spectrum (spectral radius) owned by Koro
speedup owned by akrowne
sphere owned by akrowne
Spieker center (medial triangle) owned by giri
Spieker circle (medial triangle) owned by giri
split short exact sequence owned by antizeus
splitting backmap (split short exact sequence) owned by antizeus
splitting field owned by djao
spoke (wheel graph) owned by vampyr
square owned by drini
square owned by drini
square free (square-free number) owned by akrowne
square-free (square-free number) owned by akrowne
square-free number owned by akrowne
square free number (square-free number) owned by akrowne
square-free part (radical of an integer) owned by KimJ
square-free sequence owned by akrowne
square free sequence (square-free sequence) owned by akrowne
squarefull number owned by KimJ
square matrix owned by akrowne
square root owned by wberry
square root of 2 is irrational owned by igor
SSA owned by greg
stabilizer owned by djao
stable algorithm (stable sorting algorithm) owned by Logan
stable fixed point owned by armbrusterb
stable manifold theorem owned by jarino
stable sorting algorithm owned by Logan
stalk owned by djao
standard deviation owned by Riemann
standard enumeration owned by xiaoyanggu
standard metric (Euclidean distance) owned by drini
standard normal distribution (normal random variable) owned by Riemann
standard topology (Euclidean distance) owned by drini
star operator (Hodge star operator) owned by matte
star-shaped region owned by matte
state machine (automaton) owned by Logan
stationary (stationary set) owned by Henry
stationary phase method (saddle point approximation) owned by msihl
stationary set (stationary set) owned by Henry
stationary set owned by Henry
Steiner's theorem owned by slash
Steiner system owned by drini
Steiner triple system (Steiner system) owned by drini
step function (signum function) owned by matte
Stewart's theorem owned by drini
proof of Stewart's theorem owned by drini
Stirling numbers (Stirling numbers of the first kind) owned by rmilson
Stirling numbers of the first kind owned by rmilson
Stirling numbers of the second kind owned by rmilson
Stirling's approximation owned by drini
Stirling's formula (Stirling's approximation) owned by drini
stochastic independence owned by Riemann
stochastic matrix (stochastic matrix) owned by mathwizard
stochastic matrix owned by mathwizard
stochastic process owned by armbrusterb
Stokes theorem (general Stokes theorem) owned by quincynoodles
Stolz-Cesaro theorem owned by slash
Stone space owned by Timmy
Stone space (Stone space) owned by Timmy
Stone-Weierstrass theorem owned by n3o
strategic form game (normal form game) owned by Henry
strategy owned by Henry
strategy (strategy) owned by Henry
strategy space (strategy) owned by Henry
stretch function (psuedorandom generator) owned by Henry
strictly decreasing (monotonically decreasing) owned by akrowne
strictly decreasing function (increasing/decreasing/monotone function) owned by matte
strictly increasing (monotonically increasing) owned by akrowne
strictly increasing function (increasing/decreasing/monotone function) owned by matte
strictly monotone function (increasing/decreasing/monotone function) owned by matte
strictly monotonic function (increasing/decreasing/monotone function) owned by matte
string (language) owned by xriso
strong direct sum (direct product of modules) owned by antizeus
strong ergodic theorem (ergodic theorem) owned by drummond
strong homotopy equivalence (homotopy equivalence) owned by matte
strong law of large numbers owned by Koro
strong limit (inaccessible cardinals) owned by Henry
strongly connected (connected graph) owned by Logan
strongly connected components (connected graph) owned by Logan
strongly connected graph (connected graph) owned by Logan
strongly critical (Veblen function) owned by Henry
strongly dominant (dominant strategy) owned by Henry
strongly dominates (dominant strategy) owned by Henry
strongly inaccessible (inaccessible cardinals) owned by Henry
strongly minimal owned by Timmy
strongly minimal (strongly minimal) owned by Timmy
example of strongly minimal owned by Timmy
strongly Pareto dominant (Pareto dominant) owned by Henry
strongly Pareto dominates (Pareto dominant) owned by Henry
strongly Pareto optimal (Pareto dominant) owned by Henry
strong range (range problem) owned by Henry
strong range problem (range problem) owned by Henry
-structure (model) owned by Henry
structure (model) owned by Henry
structure (structures) owned by jihemme
structure group (fiber bundle) owned by bwebste
structure preserving mappings owned by jihemme
structures owned by jihemme
structure sheaf owned by djao
subalgebra (Lie algebra) owned by djao
subbasic (subbasis) owned by Evandar
subbasic (subbasis) owned by Evandar
subbasis owned by Evandar
sub-bimodule (bimodule) owned by antizeus
subcover (cover) owned by Evandar
subdivision owned by digitalis
subformula owned by jihemme
subgraph owned by digitalis
subgroup (subsemigroup, submonoid, and subgroup) owned by mclase
subgroup owned by Daume
subgroups containing the normalizers of Sylow subgroups normalize themselves owned by bwebste
sub-matrix (partitioned matrix) owned by matte
submonoid (subsemigroup, submonoid, and subgroup) owned by mclase
subnet (net) owned by Evandar
subnormal (subnormal subgroup) owned by bwebste
subnormal subgroup owned by bwebste
subrepresentation (group representation) owned by djao
subring owned by drini
subsemigroup (subsemigroup, submonoid, and subgroup) owned by mclase
subsemigroup, submonoid, and subgroup owned by mclase
subsequence owned by Evandar
subset owned by drini
subspace (subspace topology) owned by djao
subspace (vector subspace) owned by matte
subspace topology owned by djao
substring owned by Logan
successor owned by djao
successor (von Neumann ordinal) owned by Henry
successor (Peano arithmetic) owned by Henry
successor ordinal (von Neumann ordinal) owned by Henry
successor set (inductive set) owned by djao
sum-free owned by bbukh
summation by parts (Abel's lemma) owned by matte
sum rule owned by Logan
proof of sum rule owned by Logan
sumset owned by bbukh
sum with amalgamated subgroup (free product with amalgamated subgroup) owned by Dr_Absentius
superalgebra owned by dublisk
super algebra (superalgebra) owned by dublisk
supercommutative owned by bwebste
superconverge (superconvergence) owned by slider142
superconvergence owned by slider142
superfluous submodule owned by antizeus
superincreasing sequence owned by akrowne
supernilpotent (radical theory) owned by mclase
supernilpotent radical (radical theory) owned by mclase
supernumber owned by mhale
superset owned by Logan
supersingular owned by nerdy2
super tensor product owned by dublisk
supplemental axioms for an Abelian category owned by nerdy2
support owned by djao
support owned by Henry
support iterated forcing (iterated forcing) owned by Henry
supremum owned by vampyr
supremum limit (limit superior) owned by rmilson
surjective owned by drini
surreal number owned by Henry
Suslin tree owned by Henry
Suslin tree (Suslin tree) owned by Henry
suspension (suspension) owned by antonio
suspension owned by antonio
suspension isomorphism owned by antonio
SVD (singular value decomposition) owned by akrowne
Sylow group (Sylow p-subgroup) owned by Henry
Sylow p-subgroup owned by Henry
Sylow p-subgroup (Sylow p-subgroup) owned by Henry
Sylow subgroup (Sylow p-subgroup) owned by Henry
Sylow theorems owned by vitriol
proof of Sylow theorems owned by Henry
Sylvester's law owned by vypertd
Sylvester's Law of Inertia (bilinear map) owned by akrowne
Sylvester's theorem (Sylvester's law) owned by vypertd
symbolic computation (algebraic computation) owned by akrowne
symmedian owned by drini
symmetric (symmetric matrix) owned by Daume
symmetric owned by xriso
symmetric bilinear form owned by djao
symmetric difference owned by quadrate
symmetric difference between sets (symmetric difference) owned by quadrate
symmetric form (symmetric bilinear form) owned by djao
symmetric group owned by bwebste
symmetric matrix owned by Daume
symmetric polynomial owned by djao
symmetry (symmetric) owned by xriso
symplectic complement (symplectic complement) owned by matte
symplectic complement owned by matte
symplectic form (symplectic manifold) owned by bwebste
symplectic manifold owned by bwebste
examples of symplectic manifolds owned by bwebste
symplectic matrix owned by matte
symplectic vector field owned by bwebste
symplectic vector space (symplectic vector space) owned by matte
symplectic vector space owned by matte
symplectomorphism (symplectic manifold) owned by bwebste
syntactic compactness theorem for first order logic owned by jihemme
syntax (logic) owned by Henry
Syracuse problem (Collatz problem) owned by akrowne
system of distinct representatives owned by vampyr
system of linear equations (finite-dimensional linear problem) owned by rmilson
Szemerédi's theorem owned by bbukh
Szemerédi-Trotter theorem owned by bbukh
T - 178 entries
U - 96 entries
V - 52 entries
W - 70 entries
Y - 5 entries
Z - 41 entries
2417 entries total.
Interact
add