PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
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 'hypothesis'
1. $x^4-y^4=z^2$ has no solutions in positive integers by rm50
2. a characterization of groups by yark
3. a space is T1 if and only if every singleton is closed by waj
4. a space is T1 if and only if every subset A is the intersection of all open sets containing A by waj
5. Ahmes' bird-feeding rate method by milogardner
6. alternative proof of Euclid's lemma by alozano
7. analytics and formal logics in meta-mathematics by bci1
8. another proof of Dini's theorem by gumau
9. axiom by rmilson
10. beyond formalism: G\"{o}del's incompleteness by gribskoff
11. bounded linear functionals on $L^p(\mu)$ by azdbacks4234
12. Cauchy integral formula by djao
13. characterization of almost convex functions by rspuzio
14. characterization of free submonoids by Ziosilvio
15. chi-squared random variable by mathcam
16. chi-squared statistic by CWoo
17. Clairaut's theorem by Mathprof
18. class number divisibility in extensions by alozano
19. conditional expectation under change of measure by stevecheng
20. continuity and convergent nets by azdbacks4234
21. continuity equation by perucho
22. contradiction by Wkbj79
23. converse to Taylor's theorem by jirka
24. corollaries of basic theorem on ordered groups by rspuzio
25. counter example to Nakayama's lemma for non-finitely generated modules by sjm
26. creating an infinite model by CWoo
27. defect theorem by Ziosilvio
28. discrete time Fourier transform in relation with continuous time Fourier transform by fernsanz
29. Eisenstein criterion by Daume
30. Eisenstein criterion in terms of divisor theory by pahio
31. equivalent conditions for normality of a field extension by azdbacks4234
32. equivalent statements of Lindemann-Weierstrass theorem by CWoo
33. every permutation has a cycle decomposition by rspuzio
34. existence and uniqueness of solution to Cauchy problem by ehremo
35. existence of maximal subgroups by Algeboy
36. freely generated inductive set by CWoo
37. Fr\'echet space by rmilson
38. function space by matte
39. Gauss' lemma by drini
40. generalized intermediate value theorem by azdbacks4234
41. generalized Riemann-Lebesgue lemma by fernsanz
42. Grothendieck spectral sequence by bwebste
43. G\"{o}del's beta function by gribskoff
44. Henri Poincar\'e by Daume
45. Hofstadter's MIU system by Daume
46. induction by Daume
47. interpretation of intuitionistic logic by means of functionals by gribskoff
48. intuitionistic logic by gribskoff
49. KKM lemma by uriw
50. Kolmogorov's martingale inequality by stevecheng
51. K\"onig's lemma by mps
52. Lagrange multipliers on manifolds by stevecheng
53. mathematics vocabulary by matte
54. maximum flow/minimum cut theorem by bbukh
55. modus tollens by rspuzio
56. near operators by mathcam
57. nets and closures of subspaces by azdbacks4234
58. Newton's method works for convex real functions by stevecheng
59. no continuous function switches the rational and the irrational numbers by yark
60. no countable dense subset of a complete metric space is a $G_\delta$ by gumau
61. nonmodular sublattice by ixionid
62. polar decomposition in von Neumann algebras by asteroid
63. proof for one equivalent statement of Baire category theorem by gumau
64. proof of AAA (hyperbolic) by Wkbj79
65. proof of alternative characterization of filter by rspuzio
66. proof of arithmetic-geometric-harmonic means inequality by drini
67. proof of Baire category theorem by rmilson
68. proof of Banach-Steinhaus theorem by Koro
69. proof of Barbalat's lemma by ncrom
70. proof of basic theorem about ordered groups by rspuzio
71. proof of Bendixson's negative criterion by Daume
72. proof of Bohr-Mollerup theorem by Andrea Ambrosio
73. proof of Borel-Cantelli 1 by kshum
74. proof of Brouwer fixed point theorem by uriw
75. proof of closed differential forms on a simple connected domain by paolini
76. proof of criterion for convexity by rspuzio
77. proof of criterion for convexity II by yesitis
78. proof of Desargues' theorem by drini
79. proof of determinant lower bound of a strict diagonally dominant matrix by Andrea Ambrosio
80. proof of equivalence of definitions of valuation by rspuzio
81. proof of fundamental theorem of algebra (due to D'Alembert) by rspuzio
82. proof of infinitude of primes by rspuzio
83. proof of Jordan canonical form theorem by CWoo
84. proof of Leray's Theorem (via spectral sequences) by mathcam
85. proof of limit of nth root of n by rspuzio
86. proof of Lindemann-Weierstrass theorem and that e and $\pi$ are transcendental by rm50
87. proof of maximal modulus principle by cvalente
88. proof of monotonicity criterion by paolini
89. proof of Morera's theorem by Ziosilvio
90. proof of Pappus's theorem by mathcam
91. proof of principle of transfinite induction by jihemme
92. proof of properties of extreme subsets of a closed convex set by georgiosl
93. proof of rational root theorem by Wkbj79
94. proof of Riemann mapping theorem by rspuzio
95. proof of Weyl's inequality by Andrea Ambrosio
96. proof of Wilson's theorem result by Cosmin
97. proof that commuting matrices are simultaneously triangularizable by georgiosl
98. properties of expected value by Andrea Ambrosio
99. properties of the Lebesgue integral of Lebesgue integrable functions by Wkbj79
100. quotient group by azdbacks4234
101. Red Auxiliary numbers, the first LCM method by milogardner
102. reductio ad absurdum by gribskoff
103. relation between almost surely absolutely bounded random variables and their absolute moments by Andrea Ambrosio
104. Riemann $\Xi$ function by PrimeFan
105. Riemann zeta function by alozano
106. Rubik's cube by PrimeFan
107. second order tensor: symmetric and skew-symmetric parts by rspuzio
108. simultaneous triangularisation of commuting matrices over any field by lars_h
109. space curve by Mathprof
110. spanning sets of dual space by stevecheng
111. squeeze rule by Daume
112. subgroup by Daume
113. symmetric group is generated by adjacent transpositions by rspuzio
114. Taylor's formula in Banach spaces by stevecheng
115. the inclusion of classical into intuitionistic logic by gribskoff
116. uniqueness of cardinality by mathcam
117. vibrating string by perucho
118. Weierstrass M-test for continuous functions by CWoo