|
|
|
|
1.
$(p,q)$ shuffle
by mathcam
2.
$2^{\omega(n)} \le \tau(n) \le 2^{\Omega(n)}$
by Wkbj79
3.
$C^*$-algebra homomorphisms preserve continuous functional calculus
by asteroid
4.
$C^*$-algebras have approximate identities
by asteroid
5.
$C^\infty_0(U)$ is not empty
by matte
6.
$e^r$ is irrational for $r\in\mathbb{Q}\setminus\{0\}$
by Cosmin
7.
$GL_2(\mathbb{Z})$
by rm50
8.
$L^{\infty}(X, \mu)$
by ack
9.
$px + 1$ map
by PrimeFan
10.
$T_f$ is a distribution of zeroth order
by Koro
11.
$\epsilon$-transition
by CWoo
12.
$\operatorname{p.\!v.}(\frac{1}{x})$ is a distribution of first order
by Koro
13.
$\sigma$-algebra generated by a random variable
by PrimeFan
14.
${k}$-connected graph
by marijke
15.
${n\choose r}$ is an integer
by matte
16.
a few complex multiplication tables
by PrimeFan
17.
a functor is an equivalence iff it is fully faithful and essentially surjective
by CWoo
18.
a polynomial of degree $n$ over a field has at most $n$ roots
by alozano
19.
a prime occurs in the Euclid-Mullin sequence no more than once
by PrimeFan
20.
a representation which is not completely reducible
by bwebste
21.
a semilattice is a commutative band
by mclase
22.
abelian group is divisible if and only if it is an injective object
by joking
23.
absolute value in a vector lattice
by CWoo
24.
abstract family of languages
by CWoo
25.
adjoint
by Koro
26.
affine geometry
by CWoo
27.
affine transformation
by matte
28.
Alexander Grothendieck's biography and his major mathematical contributions
by bci1
29.
Alexandroff space is T1 if and only if it is discrete
by joking
30.
algebra without order
by mathcam
31.
algebraic definition of a lattice
by CWoo
32.
algebraic lattice
by CWoo
33.
all bases for a vector space have the same cardinality
by CWoo
34.
all positive integers are polite numbers except powers of two
by PrimeFan
35.
almost convex
by georgiosl
36.
alternate characterization of curl
by stevecheng
37.
alternative algebra
by CWoo
38.
alternative characterization of multiply transitive permutation groups
by rm50
39.
alternative definition of cardinality
by CWoo
40.
alternative definition of valuation
by rspuzio
41.
alternative definitions of countable
by CWoo
42.
an outline of Hilbert's programme
by gribskoff
43.
analytic sets define a closure operator
by gel
44.
analytics and formal logics in meta-mathematics
by bci1
45.
angle
by CWoo
46.
annihilator
by antizeus
47.
annihilator is an ideal
by yark
48.
another proof of Dini's theorem
by gumau
49.
another proof of Jensen's inequality
by Andrea Ambrosio
50.
anti-cone
by stevecheng
51.
area of a spherical triangle
by Mathprof
52.
argument principle
by rspuzio
53.
Aristotelian logic
by Daume
54.
arithmetic functions form a ring
by rm50
55.
arithmetic-geometric mean
by rspuzio
56.
Artin's conjecture on primitive roots
by alozano
57.
associated bundle construction
by rspuzio
58.
asymptotic estimates for real-valued nonnegative multiplicative functions
by Wkbj79
59.
automorphism group of a cyclic group
by rm50
60.
axiom of choice
by GrafZahl
61.
barycentric subdivision
by CWoo
62.
basic tensor
by rmilson
63.
Beal conjecture
by mathcam
64.
Bertrand's problem
by PrimeFan
65.
beyond formalism: G\"{o}del's incompleteness
by gribskoff
66.
bibliography for algebraic geometry
by alozano
67.
bicyclic semigroup
by mclase
68.
biholomorphically equivalent
by jirka
69.
bijection
by mathcam
70.
binary operation
by mclase
71.
bipartite graph
by mathcam
72.
Black-Scholes formula
by stevecheng
73.
blocks of permutation groups
by rm50
74.
Bolyai-Gerwien theorem
by CWoo
75.
Boolean ideal
by CWoo
76.
Boolean lattice
by mathcam
77.
Boolean operations on automata
by CWoo
78.
Boolean quotient algebra
by CWoo
79.
Boolean subalgebra
by CWoo
80.
Borel-Bott-Weil theorem
by mathcam
81.
bounded complete
by CWoo
82.
Bourbaki, Nicolas
by Daume
83.
Brauer's ovals theorem
by Andrea Ambrosio
84.
Briggsian logarithms
by pahio
85.
Buffon's needle
by georgiosl
86.
Burnside ring
by joking
87.
calculating the nth roots of a complex number
by archibal
88.
calculating the splitting of primes
by mathcam
89.
calculator
by PrimeFan
90.
calculus of variations
by rspuzio
91.
categorical direct product is an inverse limit
by archibal
92.
categorical pullback
by CWoo
93.
category of fractions
by CWoo
94.
category of matrices
by rspuzio
95.
category of paths on a graph
by rspuzio
96.
category with arbitrary products and pullbacks is complete
by CWoo
97.
Cauchy integral formula
by djao
98.
centralizer of a k-cycle
by rm50
99.
centralizer of matrix units
by asteroid
100.
centre of mass
by stevecheng
101.
chain rule (several variables)
by rmilson
102.
change of basis
by CWoo
103.
characteristic function
by Koro
104.
characteristic monoid
by CWoo
105.
characteristic values and vectors (of a matrix)
by perucho
106.
Chebyshev equation
by mclase
107.
Chomsky hierarchy
by CWoo
108.
Christoffel symbols
by juanman
109.
chromatic number
by mathcam
110.
chromatic number and girth
by mathcam
111.
circle
by PrimeFan
112.
circular segment
by pahio
113.
circulation and vorticity
by perucho
114.
Clairaut's equation
by pahio
115.
classification of Hilbert spaces
by asteroid
116.
closure
by mathwizard
117.
coercive function
by paolini
118.
cofinality
by yark
119.
Collatz sequence
by PrimeFan
120.
Collatz sequences starting with numbers of the form $3n + 1$ for odd $n < 334$
by PrimeFan
121.
colorings of plane graphs
by marijke
122.
combining URMs
by CWoo
123.
commensurable subgroups
by asteroid
124.
commutant is a weak operator closed subalgebra
by asteroid
125.
commutant of $B(H)$ is $\mathbb{C}I$
by asteroid
126.
commutative language
by CWoo
127.
compact element
by CWoo
128.
compactly supported continuous functions are dense in $L^p$
by asteroid
129.
compass and straightedge construction of parallel line
by pahio
130.
complement
by CWoo
131.
complete Boolean algebra
by CWoo
132.
complexification
by mathcam
133.
complexification of vector space
by stevecheng
134.
computable real function
by rspuzio
135.
computation of surface area of portion of paraboloid
by rspuzio
136.
computer representation of integers
by rm50
137.
concatenation
by CWoo
138.
concepts in linear algebra
by matte
139.
concepts in set theory
by matte
140.
concyclic
by CWoo
141.
conditional distribution of multi-variate normal variable
by stevecheng
142.
cone
by matte
143.
cone in $\mathbb{R}^3$
by pahio
144.
conformal mapping
by rspuzio
145.
congruence
by mclase
146.
congruence axioms
by CWoo
147.
congruence on a partial algebra
by CWoo
148.
congruence relation on an algebraic system
by CWoo
149.
conic section
by drini
150.
conjugacy classes in the symmetric group $S_n$
by rm50
151.
conjugate transpose
by Koro
152.
connection
by rspuzio
153.
constant functions and continuity
by mathcam
154.
constant functor
by CWoo
155.
constructing well ordered sets
by CWoo
156.
construction of a Brandt groupoid
by CWoo
157.
construction of Riemann surface using paths
by rspuzio
158.
continuity equation
by perucho
159.
continuity of convex functions, alternate proof
by yesitis
160.
continuous epimorphism of compact groups preserves Haar measure
by asteroid
161.
continuous functional calculus
by asteroid
162.
continuous nowhere monotonic function
by asteroid
163.
contraharmonic proportion
by pahio
164.
convergence in probability is preserved under continuous transformations
by stevecheng
165.
convergents to a continued fraction
by rm50
166.
corner point theorem
by CWoo
167.
counting compositions of an integer
by rm50
168.
Coxeter group
by Simone
169.
CR function
by jirka
170.
criteria for a poset to be a complete lattice
by CWoo
171.
criterion for a multiplicative function to be completely multiplicative
by Wkbj79
172.
cyclic rings and zero rings
by Wkbj79
173.
cyclic semigroup
by mclase
174.
D'Alembertian
by invisiblerhino
175.
De Morgan algebra
by CWoo
176.
de Morgan's laws
by mathcam
177.
decimal fraction
by CWoo
178.
deck transformation
by mathcam
179.
decomposable homomorphisms and full families of groups
by joking
180.
decomposition of orthogonal operators as rotations and reflections
by stevecheng
181.
decomposition of self-adjoint elements in positive and negative parts
by asteroid
182.
deletion operation on languages
by CWoo
183.
delta distribution
by matte
184.
derangement
by CWoo
185.
derivation of Euler-Lagrange differential equation (elementary)
by rspuzio
186.
derivation of geometric mean as the limit of the power mean
by Mathprof
187.
derivation of Hartley function
by Mathprof
188.
derivation of properties of regular open set
by CWoo
189.
derivation tree of a derivation
by CWoo
190.
determining series convergence
by CWoo
191.
determining signs of trigonometric functions
by Wkbj79
192.
differential geometry
by rspuzio
193.
dihedral group properties
by Algeboy
194.
dimension theorem for symplectic complement (proof)
by matte
195.
Diophantine equation
by rspuzio
196.
direct product of partial algebras
by CWoo
197.
direct products of homomorphisms
by joking
198.
direct sum of Hermitian and skew-Hermitian matrices
by mathcam
199.
Dirichlet's approximation theorem
by Koro
200.
discontinuous
by mathwizard
201.
discriminator function
by CWoo
202.
disjoint union
by yark
203.
distribution function
by Mathprof
204.
divisibility of prime-power binomial coefficients
by rm50
205.
divisibility test
by CompositeFan
206.
division by zero
by Algeboy
207.
door space
by CWoo
208.
doubly even number
by 1and2and4
209.
dual space
by Daume
210.
economic context of Egyptian fractions
by milogardner
211.
effective equivalence relation
by CWoo
212.
Egyptian fraction
by milogardner
213.
Egyptian multiplication and division
by milogardner
214.
Egyptian weights and measures, hekat divisions
by milogardner
215.
eigenspace
by CWoo
216.
eigenvalue
by Koro
217.
Einstein summation convention
by PrimeFan
218.
elementary abelian group
by yark
219.
elementary results about multiplicative functions and convolution
by Wkbj79
220.
elliptic curve
by djao
221.
Engel's theorem
by rmilson
222.
enumerative combinatorics
by mps
223.
equality
by pahio
224.
equational class
by CWoo
225.
equivalence between the minor and topological minor of $K_5$ or $K_{3,3}$
by jwaixs
226.
equivalence of Hausdorff's maximum principle, Zorn's lemma and the well-ordering theorem
by mathcam
227.
equivalent automata
by CWoo
228.
equivalent definition of a representable functor
by CWoo
229.
equivalent machines
by CWoo
230.
equivalent regular expressions
by CWoo
231.
equivalent statements to statement that sphere is not contractible
by joking
232.
equivalent valuations
by pahio
233.
Euclid-Mullin sequence
by PrimeFan
234.
Euler phi function
by Wkbj79
235.
Euler's equation for rigid bodies
by perucho
236.
evaluation homomorphism
by mathcam
237.
every finite dimensional subspace of a normed space is closed
by Mathprof
238.
every Hilbert space has an orthonormal basis
by asteroid
239.
every map into sphere which is not onto is nullhomotopic
by joking
240.
every prime has a primitive root
by alozano
241.
every prime ideal is radical
by alozano
242.
example of an Artinian module which is not Noetherian
by joking
243.
example of analytic continuation
by pahio
244.
example of Banach algebra which is not a $C^*$-algebra for any involution
by asteroid
245.
example of Cauchy multiplication rule
by pahio
246.
example of continuous bijections which are not homeomorphisms
by joking
247.
example of cylindric algebra
by CWoo
248.
example of definable type
by aplant
249.
example of Dirac sequence
by Johan
250.
example of eliminating higher-order derivatives
by rspuzio
251.
example of false implies true
by Algeboy
252.
example of free module with bases of diffrent cardinality
by joking
253.
example of functor of points of a scheme
by archibal
254.
example of gcd
by pahio
255.
example of injective module
by Glotzfrosch
256.
example of linear least squares
by bloftin
257.
example of Nash equilibrium
by Henry
258.
example of reducible and irreducible $G$-modules
by rm50
259.
example of rewriting a differential equation as a Pfaffian system
by rspuzio
260.
example of ring which is not a UFD
by alozano
261.
examples of 1-automorphic numbers
by PrimeFan
262.
examples of countable sets
by CWoo
263.
examples of equalizers
by CWoo
264.
examples of Kaprekar numbers
by PrimeFan
265.
examples of monics
by CWoo
266.
examples of Smarandache-Wellin primes in a few selected bases
by PrimeFan
267.
examples of the Lucas-Lehmer primality test on small numbers
by PrimeFan
268.
examples of trimorphic numbers
by PrimeFan
269.
examples supporting the Erd\H{o}s-Straus conjecture
by PrimeFan
270.
existence of maximal semilattice decomposition
by mclase
271.
expected value
by mathwizard
272.
explicit formula for divided differences
by rspuzio
273.
exponential function never vanishes
by pahio
274.
exponential object
by CWoo
275.
extended norm
by rspuzio
276.
extensions without unramified subextensions and class number divisibility
by alozano
277.
exterior algebra
by rmilson
278.
external direct product of groups
by mathcam
279.
factorial base
by CompositeFan
280.
fence
by CWoo
281.
Ferrari-Cardano derivation of the quartic formula
by djao
282.
Fibonacci jigsaw puzzle
by PrimeFan
283.
Fibonacci polynomials
by veselin
284.
field extension with Galois group $Q_8$
by rm50
285.
field is discrete and cocompact in its ad\`{e}les
by rm50
286.
Fine and Wilf's theorem on words
by Ziosilvio
287.
finite difference
by CWoo
288.
finite field
by yark
289.
finite projective plane
by Mathprof
290.
finite rank approximation on separable Hilbert spaces
by karstenb
291.
finitely generated modules over a principal ideal domain
by yark
292.
first fundamental form
by stevecheng
293.
Fitting's lemma
by CWoo
294.
formal power series converges if and only if it converges along every line
by jirka
295.
Fortune's conjecture
by PrimeFan
296.
free associative algebra
by Algeboy
297.
free Boolean algebra
by CWoo
298.
free semigroup
by yark
299.
free vector space over a set
by mathcam
300.
freely generated inductive set
by CWoo
301.
full families of Hopfian (co-Hopfian) groups
by joking
302.
function
by djao
303.
functional analysis
by PrimeFan
304.
functional completeness
by CWoo
305.
functor category
by CWoo
306.
fundamental lemma of calculus of variations
by matte
307.
Galois group of a cubic polynomial
by rm50
308.
gauge group
by sjm1979
309.
Gaussian integer
by Daume
310.
Gelfand-Mazur theorem
by asteroid
311.
generalized Andrica conjecture
by dankomed
312.
generalized eigenvector
by CWoo
313.
generalized regular expression
by CWoo
314.
generalized sequential machine
by CWoo
315.
generating function for the Catalan numbers
by rm50
316.
geometric derivation of addition formulas for sine and cosine
by rm50
317.
geometric representation of relation composition
by Jon Awbrey
318.
geometry as the study of invariants under certain transformations
by rspuzio
319.
Givens rotation
by akrowne
320.
Goldie ring
by mclase
321.
gradient
by CWoo
322.
Gram determinant
by CWoo
323.
graph homeomorphism
by Ziosilvio
324.
Green's equivalences
by mathcam
325.
group object
by rspuzio
326.
group scheme
by archibal
327.
group variety
by archibal
328.
grouplike elements in Hopf algebras
by joking
329.
G\"odel's incompleteness theorems
by mathcam
330.
Hamiltonian quaternions
by mathcam
331.
Hamming metric
by drini
332.
happy ending problem
by PrimeFan
333.
Hartogs triangle
by jirka
334.
Hausdorff metric
by Koro
335.
Heisenberg algebra
by GrafZahl
336.
Henri Poincar\'e
by Daume
337.
hexagon
by Wkbj79
338.
Hilbert's $\varepsilon$-operator
by gribskoff
339.
hollow matrix rings
by Algeboy
340.
holomorphic functions of several variables
by jirka
341.
homogeneous function
by matte
342.
homology
by mathcam
343.
homomorphism of languages
by CWoo
344.
homomorphisms from fields are either injective or trivial
by mathcam
345.
hyperbola
by pahio
346.
hyperbolic angle
by CWoo
347.
hypergraph
by CWoo
348.
hypoelliptic
by jirka
349.
ideal completion of a poset
by CWoo
350.
ideals contained in a union of ideals
by joking
351.
if $\mu(n) = (-1)^{\omega(n)}$ then $\tau(n) = 2^{\omega(n)}$
by 1and2and4
352.
IF-logic
by mathcam
353.
illustration of integration techniques
by Wkbj79
354.
importance of primitive recursion
by CWoo
355.
incidence geometry
by CWoo
356.
index of important irrational constants
by PrimeFan
357.
induced Alexandroff topology on a poset
by joking
358.
inductive proof of binomial theorem
by Mathprof
359.
infimum and supremum for real numbers
by matte
360.
injective $C^*$-algebra homomorphism is isometric
by asteroid
361.
insertion operation on languages
by CWoo
362.
integral binary quadratic forms
by rm50
363.
integral over plane region
by pahio
364.
integration of polynomial
by Wkbj79
365.
interpretation of intuitionistic logic by means of functionals
by gribskoff
366.
interpretation of well-formed formulas
by CWoo
367.
invariant forms on representations of compact groups
by bwebste
368.
inverse image of a morphism
by CWoo
369.
invertible ideals are projective
by gel
370.
isomorphic groups
by alozano
371.
isotope of a groupoid
by CWoo
372.
isotropic quadratic space
by CWoo
373.
Jacobi $\vartheta$ functions
by rspuzio
374.
Java
by PrimeFan
375.
jet bundle
by rspuzio
376.
Jones Polynomial
by Stephaninos
377.
Jordan curve theorem
by rmilson
378.
Jordan decomposition
by Koro
379.
kernel of a homomorphism between algebraic systems
by CWoo
380.
kernel of a morphism
by CWoo
381.
Kleene algebra
by CWoo
382.
knot theory
by CWoo
383.
Koethe conjecture
by mclase
384.
Kolmogorov complexity function
by tromp
385.
Krasner's lemma
by rm50
386.
Lagrange multipliers on manifolds
by stevecheng
387.
Lasker-Noether theorem
by CWoo
388.
lattice interval
by CWoo
389.
lattice of subgroups
by CWoo
390.
lecture notes on the Cayley-Hamilton theorem
by rmilson
391.
Legendre Transform
by fernsanz
392.
Leibniz notation
by mathcam
393.
Leibniz notation for vector fields
by stevecheng
394.
Levi-Civita permutation symbol
by matte
395.
Lie algebra representation
by mathcam
396.
Lie algebras from other algebras
by Algeboy
397.
limit of $\displaystyle \frac{1-\cos x}{x}$ as $x$ approaches 0
by Wkbj79
398.
limit of sequence of sets
by CWoo
399.
limit superior of sets
by Koro
400.
Lindemann-Weierstrass theorem
by CWoo
401.
Lindenmayer system
by CWoo
402.
line bundle
by bwebste
403.
linear erasing
by CWoo
404.
linear least squares fit
by rspuzio
405.
LL(k)
by CWoo
406.
local homeomorphisms between real numbers
by joking
407.
localization of a module
by CWoo
408.
locally ringed space
by djao
409.
logarithmically convex function
by jirka
410.
logical graph : introduction
by Jon Awbrey
411.
logicism
by gribskoff
412.
Lorenz equation
by Daume
413.
Lotka-Volterra system
by jarino
414.
LU decomposition
by rmilson
415.
L\"ob's theorem
by dankomed
416.
martingale convergence theorem
by gel
417.
mathematics vocabulary
by matte
418.
matrix characterizations of automata
by CWoo
419.
matrix representation of a linear transformation
by CWoo
420.
maximal bipartite matching algorithm
by mathcam
421.
measure-preserving
by asteroid
422.
metalinear language
by CWoo
423.
method for computing simple continued fractions with the aid of calculator and pencil and paper
by PrimeFan
424.
methods to find extremum
by bloftin
425.
minor (of a matrix)
by CWoo
426.
miracle octad generator
by monster
427.
model
by CWoo
428.
models constructed from constants
by ratboy
429.
modular function
by asteroid
430.
modular group
by rm50
431.
modular theory
by Algeboy
432.
modules over decomposable rings
by joking
433.
monadic algebra
by CWoo
434.
monotone class theorem
by fernsanz
435.
Moore graph
by Mathprof
436.
Morita equivalence
by CWoo
437.
motivation for Euclidean domains
by Wkbj79
438.
multi-index notation
by matte
439.
multi-linear
by rmilson
440.
multinomial theorem (proof)
by Koro
441.
multiset
by PrimeFan
442.
multivalued function
by CWoo
443.
mutual information
by drummond
444.
natural transformation
by mps
445.
neighborhood system on a set
by CWoo
446.
Neumann series
by georgiosl
447.
neutral geometry
by CWoo
448.
Nevanlinna theory
by Simone
449.
nil is a radical property
by mclase
450.
non-associative algebra
by CWoo
451.
non-commutative dynamic modeling diagrams
by bci1
452.
non-Euclidean geometry
by Wkbj79
453.
normal curvatures
by pahio
454.
normal number
by AxelBoldt
455.
normal subgroup lattice is modular
by CWoo
456.
normal subgroups of the symmetric groups
by rm50
457.
normalizing reduction
by CWoo
458.
normed algebra
by CWoo
459.
number of unrooted labeled trees
by rm50
460.
numeration system
by CWoo
461.
operator induced by a measure preserving map
by asteroid
462.
operator norm
by asteroid
463.
opposite polynomial
by pahio
464.
orbit-stabilizer theorem
by yark
465.
ordered tree
by CWoo
466.
ordered vector space
by CWoo
467.
ordinal space
by CWoo
468.
orthogonal decomposition theorem
by asteroid
469.
orthogonal Latin squares
by CWoo
470.
orthogonal morphisms
by CWoo
471.
orthomodular lattice
by CWoo
472.
pairing function
by rspuzio
473.
Pappus's centroid theorem
by stevecheng
474.
Parikh's theorem
by CWoo
475.
partially ordered category
by CWoo
476.
partitions form a lattice
by CWoo
477.
Pascal's triangle
by Koro
478.
Pascal's triangle is symmetrical along its central column
by PrimeFan
479.
Peirce decomposition
by mclase
480.
Pell's equation
by rm50
481.
Penrose's first G\"odelian argument
by dankomed
482.
per cent
by CWoo
483.
period
by mathcam
484.
periodic extension
by CWoo
485.
permutable prime
by PrimeFan
486.
place of field
by pahio
487.
Plato's mathematics
by milogardner
488.
Plemelj formulas
by perucho
489.
Poincar\'e-Birkhoff-Witt theorem
by CWoo
490.
point and a compact set in a Hausdorff space have disjoint open neighborhoods.
by drini
491.
pointwise limit of bounded operators is bounded
by asteroid
492.
polynomial functional calculus
by asteroid
493.
polynomial hierarchy is a hierarchy
by uzeromay
494.
polynomial ring
by djao
495.
polyrectangle
by paolini
496.
poset
by mps
497.
positive multiple of an abundant number is abundant
by Mathprof
498.
power series
by azdbacks4234
499.
precategory
by CWoo
500.
predicativism
by gribskoff
501.
primary ideal
by mathcam
502.
prime partition
by PrimeFan
503.
primitive element theorem
by alozano
504.
product of automata
by CWoo
505.
product of countable sets
by CWoo
506.
projective geometry
by Algeboy
507.
projective plane
by yark
508.
projectivity
by CWoo
509.
proof of PTAH inequality
by Mathprof
510.
proof of 9-lemma
by rm50
511.
proof of alternative characterization of ultrafilter
by rspuzio
512.
proof of arithmetic-geometric-harmonic means inequality
by Mathprof
513.
proof of Artin-Rees theorem
by mat_cross
514.
proof of Baire category theorem
by rmilson
515.
proof of Banach fixed point theorem
by asteroid
516.
proof of Banach-Tarski paradox
by GrafZahl
517.
proof of Bernoulli's inequality employing the mean value theorem
by rspuzio
518.
proof of Bernstein inequalities
by Andrea Ambrosio
519.
proof of Birkhoff-von Neumann theorem
by Andrea Ambrosio
520.
proof of Bondy and Chv\'atal theorem
by taxipom
521.
proof of Borel functional calculus
by asteroid
522.
proof of bounds for e
by rspuzio
523.
proof of Carath\'eodory's extension theorem
by gel
524.
proof of casus irreducibilis for real fields
by rm50
525.
proof of Cayley-Hamilton theorem by formal substitutions
by asteroid
526.
proof of Chebyshev's inequality
by pbruin
527.
proof of Chinese remainder theorem
by mclase
528.
proof of closed graph theorem
by Koro
529.
proof of congruence of Clausen and von Staudt
by slachter
530.
proof of embedding theorem for ordered abelian groups of rank one
by rspuzio
531.
proof of equivalence of definitions of valuation
by rspuzio
532.
proof of factor theorem due to Fermat
by pahio
533.
proof of Fatou-Lebesgue theorem
by Wkbj79
534.
proof of fundamental theorem of algebra (argument principle)
by rspuzio
535.
proof of fundamental theorem of finitely generated abelian groups
by puuhikki
536.
proof of fundamental theorem of Galois theory
by pbruin
537.
proof of general associativity
by pahio
538.
proof of generalized Ruiz's identity
by GeraW
539.
proof of Gram-Schmidt orthogonalization procedure
by rspuzio
540.
proof of ham sandwich theorem
by Statusx
541.
proof of Hartogs' theorem
by jirka
542.
proof of Heine-Borel theorem
by stevecheng
543.
proof of Hermite-Hadamard integral inequality
by Andrea Ambrosio
544.
proof of H\"{o}lder inequality
by paolini
545.
proof of Krein-Milman theorem
by georgiosl
546.
proof of Lindemann-Weierstrass theorem and that e and $\pi$ are transcendental
by rm50
547.
proof of necessary and sufficient condition for diagonalizability
by rspuzio
548.
proof of properties of extreme subsets of a closed convex set
by georgiosl
549.
proof of properties of primitive roots
by rm50
550.
proof of pseudoparadox in measure theory
by rspuzio
551.
proof of Riesz representation theorem for separable Hilbert spaces
by asteroid
552.
proof of Schauder fixed point theorem
by asteroid
553.
proof of Stone-Weierstrass theorem
by rspuzio
554.
proof of Tauber's convergence theorem
by rmilson
555.
proof of the correspondence between even 2-superperfect numbers and Mersenne primes
by PrimeFan
556.
proof of the Jordan H\"{o}lder decomposition theorem
by djao
557.
proof of theorem about cyclic subspaces
by FunctorSalad
558.
proof of theorem on equivalent valuations
by rspuzio
559.
proof of uniqueness of Lagrange Interpolation formula
by rspuzio
560.
proof of von Neumann double commutant theorem
by asteroid
561.
proof of Weierstrass approximation theorem
by rspuzio
562.
proof of Young's inequality by picture
by archibal
563.
proof that $\sqrt{2}$ is irrational
by Wkbj79
564.
proof that 3 is the only prime perfect totient number
by PrimeFan
565.
proof that a gcd domain is integrally closed
by CWoo
566.
proof that a metric space is compact if and only if it is complete and totally bounded
by rm50
567.
proof that a nontrivial normal subgroup of a finite $p$-group $G$ and the center of $G$ have nontrivial intersection
by rm50
568.
proof that all powers of 3 are perfect totient numbers
by PrimeFan
569.
proof that commuting matrices are simultaneously triangularizable
by georgiosl
570.
proof that every filter is contained in an ultrafilter
by rspuzio
571.
proof that every positive integer has a Zeckendorf representation
by PrimeFan
572.
proof that Sylvester's matrix equals the resultant
by rspuzio
573.
proof that the compositum of a Galois extension and another extension is Galois
by rm50
574.
proof that the set of sum-product numbers in base 2 is finite
by Mravinci
575.
proof that the sum of the iterated totient function is always odd
by PrimeFan
576.
properties of a comma category
by CWoo
577.
properties of a gcd domain
by CWoo
578.
properties of arbitrary joins and meets
by CWoo
579.
properties of bijections
by CWoo
580.
properties of monomorphisms and epimorphisms
by kompik
581.
properties of ordinals
by CWoo
582.
properties of ranks of sets
by CWoo
583.
properties of set difference
by CWoo
584.
properties of symmetric difference
by CWoo
585.
properties of the Legendre symbol
by alozano
586.
properties of well-ordered sets
by GrafZahl
587.
property of uniformly convex Banach Space
by georgiosl
588.
proposed elementary proof of Fermat's last theorem
by Mathprof
589.
propositional calculus
by Jon Awbrey
590.
proximal neighborhood
by CWoo
591.
pseudocomplement
by CWoo
592.
pumping lemma (regular languages)
by rspuzio
593.
pure subgroup
by CWoo
594.
Q is the prime subfield of any field of characteristic 0, proof that
by CWoo
595.
quadratic closure
by CWoo
596.
quadratic extension
by CWoo
597.
quadratic fields that are not isomorphic
by Wkbj79
598.
quadratic form
by CWoo
599.
quadratic sieve
by patrickwonders
600.
quadratic space
by CWoo
601.
quandles
by StevieHair
602.
quantale
by CWoo
603.
quantum chromodynamics (QCD)
by bci1
604.
quasiconformal mapping
by jirka
605.
quotient category
by CWoo
606.
quotient of ideals
by pahio
607.
quotients of Banach spaces by closed subspaces are Banach spaces under the quotient norm
by asteroid
608.
R-minimal element
by CWoo
609.
rational numbers are real numbers
by matte
610.
rational set
by CWoo
611.
real closed fields
by mathcam
612.
real number
by djao
613.
realization of a formula by a truth function
by CWoo
614.
reciprocal polynomial
by rspuzio
615.
Red Auxiliary numbers, the first LCM method
by milogardner
616.
regular conditional probability
by CWoo
617.
regular open algebra
by CWoo
618.
regular polygon
by Wkbj79
619.
Reisner Papyrus
by milogardner
620.
relation on objects
by CWoo
621.
relation reduction
by Jon Awbrey
622.
relative complement
by CWoo
623.
remainder arithmetic vs Egyptian fractions
by milogardner
624.
repdigit
by CompositeFan
625.
representations of compact groups are equivalent to unitary representations
by asteroid
626.
representing primes as $x^2+ny^2$
by rm50
627.
restricted homomorphism
by CWoo
628.
resultant
by Mathprof
629.
Rhind Mathematical Papyrus
by milogardner
630.
Riesz group
by CWoo
631.
rigorous definition of tangent function
by rspuzio
632.
ring of continuous functions
by CWoo
633.
ring of endomorphisms
by mclase
634.
ring of sets
by CWoo
635.
rings whose every module is free
by joking
636.
rounding
by CWoo
637.
Ruth-Aaron pair
by CompositeFan
638.
saddle point approximation
by msihl
639.
scaling of the open ball in a normed vector space
by matte
640.
scattered space
by CWoo
641.
Schwarz and Poisson formulas
by perucho
642.
Schwarz-Christoffel transformation (circular version)
by stevecheng
643.
scientific notation
by PrimeFan
644.
second fundamental form
by stevecheng
645.
second order ordinary differential equation
by pahio
646.
sector of a circle
by CWoo
647.
semi-Thue system
by CWoo
648.
semidirect product of groups
by djao
649.
semilattice
by mclase
650.
semilattice decomposition of a semigroup
by mclase
651.
semiperfect number
by CompositeFan
652.
sequences $b^{2n}-1$ and $b^{2n-1}+1$ are divisible by $b+1$
by perucho
653.
series inversion
by stevecheng
654.
set
by Mathprof
655.
sets that do not have an infimum
by sleske
656.
seven-segment display
by PrimeFan
657.
sheaf
by djao
658.
sheaf of sections
by guffin
659.
shuffle of languages
by CWoo
660.
shunting yard algorithm
by Mravinci
661.
signature of a permutation
by rspuzio
662.
Simon Stevin
by PrimeFan
663.
simultaneous triangularisation of commuting matrices over any field
by lars_h
664.
simultaneous upper triangular block-diagonalization of commuting matrices
by lars_h
665.
singly even number
by CompositeFan
666.
Singmaster's conjecture
by PrimeFan
667.
singular function
by jirka
668.
SL(n;R) is connected
by Stephaninos
669.
Smith number
by CompositeFan
670.
smooth linear partial differential equation without solution
by jirka
671.
SNCF metric
by GrafZahl
672.
solid set
by CWoo
673.
Solovay-Strassen test
by mathwizard
674.
solutions of $1+x+x^2+x^3=y^2$
by rm50
675.
some examples of Friedman numbers in Roman numerals
by Mravinci
676.
some facts about injective and surjective linear maps
by joking
677.
sound,, complete
by Henry
678.
space of rapidly decreasing functions
by matte
679.
special reducible polynomials over a field with positive characteristic
by joking
680.
spectral values classification
by fernsanz
681.
sphere
by akrowne
682.
square root of positive definite matrix
by rspuzio
683.
stable matrix
by rspuzio
684.
star height
by CWoo
685.
star refinement
by CWoo
686.
star-free
by CWoo
687.
state-output machine
by CWoo
688.
Stirling numbers of the second kind
by rmilson
689.
Stirling's approximation
by drini
690.
Stone-Weierstrass theorem (complex version)
by asteroid
691.
straight line is shortest curve between two points
by stevecheng
692.
strain transformation
by CWoo
693.
strict
by rspuzio
694.
structure of $(\mathbb{Z}/n\mathbb{Z})^{\times}$ as an abelian group
by rm50
695.
subformula
by CWoo
696.
subgroups of $S_4$
by rm50
697.
subharmonic and superharmonic functions
by jirka
698.
subobject
by CWoo
699.
subsemigroup of a cyclic semigroup
by CWoo
700.
subset construction
by CWoo
701.
sum of $r$th powers of the first $n$ positive integers
by mathcam
702.
sum of powers
by CWoo
703.
summation
by drini
704.
superconvergence
by mathcam
705.
surjective open maps in terms of nets
by asteroid
706.
symmetric group is generated by adjacent transpositions
by rspuzio
707.
symmetric quartic equation
by pahio
708.
symmetrizer
by Mathprof
709.
symmetry and groupoid representations in functional biology
by bci1
710.
symplectic complement
by matte
711.
table of addition up to 12
by PrimeFan
712.
table of primes in arithmetic progressions per Dirichlet's theorem
by PrimeFan
713.
tangent bundle
by bwebste
714.
tangent plane (elementary)
by rspuzio
715.
tangent space
by rmilson
716.
Taylor series, derivation of
by apmc
717.
tensor array
by rmilson
718.
tensor product
by rmilson
719.
tensor product and dual spaces
by joking
720.
tensor product of subspaces of vector spaces
by joking
721.
terminating reduction
by CWoo
722.
the characteristic embedding of the Burnside ring
by joking
723.
The Hamiltonian ring is not a complex algebra
by Algeboy
724.
the inclusion of classical into intuitionistic logic
by gribskoff
725.
the kernel of a group homomorphism is a normal subgroup
by alozano
726.
the only compact metric spaces that admit a positively expansive homeomorphism are discrete spaces
by Koro
727.
the sum of the values of a character of a finite group is $0$
by alozano
728.
the torsion subgroup of an elliptic curve injects in the reduction of the curve
by alozano
729.
theorem on constructible numbers
by Wkbj79
730.
theorem on multiples of abundant numbers
by CompositeFan
731.
things counted by the Catalan numbers
by rm50
732.
thirteen
by PrimeFan
733.
topological entropy
by Koro
734.
topological lattice
by CWoo
735.
topological ring
by djao
736.
topological vector lattice
by CWoo
737.
topology of the complex plane
by matte
738.
topology via converging nets
by CWoo
739.
trace forms on algebras
by Algeboy
740.
tractrix
by pahio
741.
transition to skew-angled coordinates
by pahio
742.
transitive actions are primitive if and only if stabilizers are maximal subgroups
by rm50
743.
transpose operator
by asteroid
744.
traveling hump sequence
by Wkbj79
745.
trigonometric cubic formula
by mathcam
746.
Tutte theorem
by scineram
747.
Tychonoff's theorem implies AC
by CWoo
748.
type of a distribution function
by CWoo
749.
union
by rm50
750.
union of countable sets
by CWoo
751.
unique readability of parenthesized formulas
by CWoo
752.
uniqueness of measures extended from a $\pi$-system
by gel
753.
universal bundle
by mps
754.
universal enveloping algebra
by draisma
755.
universal Turing machine
by tromp
756.
untouchable number
by PrimeFan
757.
upper set
by CWoo
758.
valuation ring of a field
by rm50
759.
values of $n$ for which $\varphi(n)=\tau(n)$
by Wkbj79
760.
variants on compass and straightedge constructions
by Wkbj79
761.
variation of parameters
by rspuzio
762.
variations on axiom of choice
by CWoo
763.
vector
by rmilson
764.
vector field
by mathcam
765.
vibrating string
by perucho
766.
von Neumann regular
by CWoo
767.
von Neumann-Bernays-G\"odel set theory
by Aatu
768.
wavelet
by swiftset
769.
weakly compact cardinals and the tree property
by Henry
770.
weakly holomorphic
by jirka
771.
Weierstrass product inequality
by Daume
772.
well-foundedness and axiom of foundation
by CWoo
773.
Weyl algebra
by GrafZahl
774.
Why Study Egyptian Fraction Mathematics
by milogardner
775.
Witt vectors
by alozano
776.
Wronskian determinant
by rspuzio
777.
Zariski lemma
by polarbear
778.
zero sequence
by pahio
779.
\v{C}ech cohomology group
by Simone
|
|
|
|
