(more info)
Math for the people, by the people.
donor list
-
find out how
Encyclopedia
|
Requests
|
Forums
|
Docs
|
Wiki |
Random
|
RSS
Advanced search
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions
meta
Requests
(236)
Orphanage
Unclass'd
(1)
Unproven
(540)
Corrections
(46)
Classification
talkback
Polls
Forums
Feedback
Bug Reports
downloads
Snapshots
PM Book
information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'WLOG'
1.
${\mathbb{Z}}_n$
by
Wkbj79
2.
a harmonic function on a graph which is bounded below and nonconstant
by
drini
3.
a K\"ahler manifold is symplectic
by
cvalente
4.
a line segment has at most one midpoint
by
Mathprof
5.
centre of mass
by
stevecheng
6.
circle has one center
by
Wkbj79
7.
congruence lattice
by
CWoo
8.
criterion for constructibility of regular polygon
by
Wkbj79
9.
equivalent automata
by
CWoo
10.
equivalent conditions for uniform integrability
by
gel
11.
equivalent definitions for UFD
by
joking
12.
equivalent statements of Lindemann-Weierstrass theorem
by
CWoo
13.
Euclid's algorithm
by
rmilson
14.
example of free module
by
mathcam
15.
example of Lipschitz condition
by
me_and
16.
examples of primitive groups that are not doubly transitive
by
rm50
17.
existence of maximal ideals
by
yark
18.
existence of power series
by
rmilson
19.
field homomorphisms fix prime subfields
by
Wkbj79
20.
field is discrete and cocompact in its ad\`{e}les
by
rm50
21.
Frattini subset
by
Algeboy
22.
free product with amalgamated subgroup
by
mathcam
23.
Frobenius morphism
by
alozano
24.
geometric representation of relation composition
by
Jon Awbrey
25.
ideals contained in a union of ideals
by
joking
26.
inflection points and canonical forms of non-singular cubic curves
by
rspuzio
27.
injective map between real numbers is a homeomorphism
by
joking
28.
intersection divisor for a quartic
by
alozano
29.
intervals are connected
by
joking
30.
jet bundle
by
rspuzio
31.
Lagrange multipliers on manifolds
by
stevecheng
32.
linearization
by
CWoo
33.
martingale convergence theorem
by
gel
34.
mathematics vocabulary
by
matte
35.
matroid independence axioms
by
sgraves
36.
normal section
by
pahio
37.
normal subgroups of the symmetric groups
by
rm50
38.
order topology
by
rspuzio
39.
perspective drawing
by
stevecheng
40.
presentation of a group
by
rmilson
41.
prime element is irreducible in integral domain
by
me_and
42.
prime ideal factorization is unique
by
gel
43.
proof of 9-lemma
by
rm50
44.
proof of AAA (hyperbolic)
by
Wkbj79
45.
proof of Abel lemma (by expansion)
by
perucho
46.
proof of Abel's limit theorem
by
mathwizard
47.
proof of Bohr-Mollerup theorem
by
Andrea Ambrosio
48.
proof of Bolzano's theorem
by
cvalente
49.
proof of Chinese remainder theorem
by
mclase
50.
proof of Darboux's theorem
by
paolini
51.
proof of Dini's theorem
by
mathcam
52.
proof of equivalence of Fermat's Last Theorem to its analytic form
by
whm22
53.
proof of estimating theorem of contour integral
by
cvalente
54.
proof of existence and uniqueness of best approximations
by
asteroid
55.
proof of existence of the essential supremum
by
gel
56.
proof of fundamental theorem of algebra (Rouch\'e's theorem)
by
Wkbj79
57.
proof of hitting times are stopping times for right-continuous processes
by
gel
58.
proof of identity theorem of holomorphic functions
by
rspuzio
59.
proof of infinite product of sums $1\!+\!a_i$ result without exponentials
by
rspuzio
60.
proof of Lindemann-Weierstrass theorem and that e and $\pi$ are transcendental
by
rm50
61.
proof of long division
by
Thomas Heye
62.
proof of Mantel's theorem
by
mps
63.
proof of Pythagorean triplet
by
Thomas Heye
64.
proof of radius of convergence of a complex function
by
rspuzio
65.
proof of Rolle's theorem
by
rmilson
66.
proof of theorem on equivalent valuations
by
rspuzio
67.
proof of Thue's Lemma
by
mathcam
68.
proof that a domain is Dedekind if its ideals are invertible
by
gel
69.
properties for measure
by
matte
70.
properties of nil and nilpotent ideals
by
mclase
71.
proposed elementary proof of Fermat's last theorem
by
Mathprof
72.
pure cubic field
by
Wkbj79
73.
Radon's lemma
by
bbukh
74.
Ramsey-theoretic proof of the Erd\H{o}s-Szekeres theorem
by
mps
75.
relationship among different kinds of compactness
by
rm50
76.
resultant (alternative treatment)
by
Mathprof
77.
Schur's inequality
by
rspuzio
78.
Schwarz and Poisson formulas
by
perucho
79.
seminorm
by
rmilson
80.
skew-Hermitian matrix
by
matte
81.
slope of a line is well-defined, proof that the
by
Dr_Absentius
82.
spectral theorem
by
rmilson
83.
support of integrable function with respect to counting measure is countable
by
Wkbj79
84.
tensor product of dual spaces is a dual space of tensor product
by
joking
85.
unambiguity of factorial base representation
by
rspuzio
86.
uniformities on a set form a complete lattice
by
mps
87.
vibrating string with variable density
by
perucho
88.
weak approximation theorem
by
rm50
89.
weight-balanced binary trees are ultrametric
by
mathcam
90.
Zariski lemma
by
polarbear