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 (50)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'strict'
1. $\epsilon$-transition by CWoo
2. $\pi$ and $\pi^2$ are irrational by mathcam
3. 2-category by bci1
4. a space is connected under the ordered topology if and only if it is a linear continuum. by dfeuer
5. AAS is not valid in spherical geometry by Wkbj79
6. all solution of the Lorenz equation enter an ellipsoid by Daume
7. alternative characterizations of Noetherian topological spaces, proof of by yark
8. alternative definition of metric space by rspuzio
9. approximating algebraic numbers with linear recurrences by rspuzio
10. Aristotelian logic by Daume
11. arithmetic mean by drini
12. biangle by Wkbj79
13. Black-Scholes formula by stevecheng
14. canonical ordering on pairs of ordinals by CWoo
15. Cantor's theorem by Wkbj79
16. category theory by archibal
17. chain by CWoo
18. characteristic by Mathprof
19. characterization of subspace topology by mps
20. Chomsky hierarchy by CWoo
21. comparison of $\sin \theta$ and $\theta$ near $\theta = 0$ by Wkbj79
22. cone in $\mathbb{R}^3$ by pahio
23. constructing well ordered sets by CWoo
24. continuous nowhere monotonic function by asteroid
25. continuum hypothesis by rspuzio
26. convergents to a continued fraction by rm50
27. convex function by matte
28. corollaries of basic theorem on ordered groups by rspuzio
29. cyclic permutation by CWoo
30. decomposition of orthogonal operators as rotations and reflections by stevecheng
31. Dedekind cuts by rmilson
32. dense total order by mps
33. derivation of integral representations of Jacobi $\vartheta$ functions by rspuzio
34. derivation of wave equation by pahio
35. diagonalization by rmilson
36. diamond lemma by CWoo
37. differential equations for $x^x$ by rspuzio
38. direct integral of Hilbert spaces by rspuzio
39. discriminant by djao
40. dual space by Daume
41. Dynkin diagram by bwebste
42. enumerating graphs by Algeboy
43. equivalent regular expressions by CWoo
44. ETAS interpretation by bci1
45. Eulerian poset by mps
46. even code by GrafZahl
47. every positive integer greater than 30 has at least one composite totative by mps
48. example of a strictly increasing quasisymmetric singular function by jirka
49. examples of aliquot sequences by PrimeFan
50. examples of fields by AxelBoldt
51. existence and uniqueness of the gcd of two integers by alozano
52. existence of square roots of non-negative real numbers by PrimeFan
53. exponential function by CWoo
54. extended norm by rspuzio
55. extremum by bshanks
56. face of a convex set by CWoo
57. Farey pair by drini
58. finite field by yark
59. frame by rmilson
60. function space by matte
61. functional analysis by PrimeFan
62. fundamental theorem of arithmetic, proof of the by mps
63. fundamental theorem of demography, proof of by aplant
64. Hahn-Banach theorem (geometric form) by azdbacks4234
65. Hausdorff space not completely Hausdorff by drini
66. Hurwitz matrix by lha
67. I-semigroup by Mazzu
68. ideal class group is finite by rm50
69. inflexion point by pahio
70. injective $C^*$-algebra homomorphism is isometric by asteroid
71. intermediate value theorem by yark
72. interpretation of intuitionistic logic by means of functionals by gribskoff
73. isotope of a groupoid by CWoo
74. Lambert quadrilateral by Wkbj79
75. Landau's constant by alozano
76. Lasker-Noether theorem by CWoo
77. lattice of projections by asteroid
78. lattice paths and ballot numbers by rm50
79. Leibniz' estimate for alternating series by pahio
80. Levi pseudoconvex by jirka
81. Levy-Desplanques theorem by Andrea Ambrosio
82. LL(k) by CWoo
83. locally testable by CWoo
84. L\"ob's theorem by dankomed
85. M-matrix by kshum
86. martingale proof of Kolmogorov's strong law for square integrable variables by gel
87. mathematics vocabulary by matte
88. maximal condition by mclase
89. metalinear language by CWoo
90. minimal condition by mclase
91. Mittag-Leffler function by rspuzio
92. Multidimensional Chebyshev's inequality by daniWk
93. neutral geometry by CWoo
94. Newton's method works for convex real functions by stevecheng
95. nilpotent matrix by jgade
96. non-Abelian theory by bci1
97. non-Euclidean geometry by Wkbj79
98. order statistics by CWoo
99. ordered geometry by CWoo
100. p-ring by alozano
101. Pasch's theorem by CWoo
102. Pollard's $\rho$ by yark
103. polygon by Wkbj79
104. polynomial identity algebra by CWoo
105. poset by mps
106. positive cone by CWoo
107. predicativism by gribskoff
108. projective plane by yark
109. projective space by rmilson
110. proof of arithmetic-geometric means inequality using Lagrange multipliers by stevecheng
111. proof of Birkhoff-von Neumann theorem by Andrea Ambrosio
112. proof of Borel-Cantelli 1 by kshum
113. proof of characterizations of the Jacobson radical by rspuzio
114. proof of chromatic number and girth by kshum
115. proof of determinant lower bound of a strict diagonally dominant matrix by Andrea Ambrosio
116. proof of embedding theorem for ordered abelian groups of rank one by rspuzio
117. proof of Hausdorff paradox by GrafZahl
118. proof of identity theorem of holomorphic functions by rspuzio
119. proof of Ostrowski's valuation theorem by rm50
120. proof of pseudoparadox in measure theory by rspuzio
121. proof of Taylor's Theorem by rmilson
122. proof of the weak Nullstellensatz by pbruin
123. proof of weak maximum principle for real domains by rspuzio
124. proof that $\det e^A = e^{\operatorname{tr}A}$ by cvalente
125. proof that a domain is Dedekind if its ideals are invertible by gel
126. proof that a domain is Dedekind if its ideals are products of maximals by gel
127. proof that a domain is Dedekind if its ideals are products of primes by gel
128. properties of a function by CWoo
129. properties of certain monotone functions by CWoo
130. properties of diagonally dominant matrix by Andrea Ambrosio
131. properties of ordinals by CWoo
132. properties of well-ordered sets by GrafZahl
133. quadratic Jordan algebra by Algeboy
134. quantum groups by bci1
135. quasi-inverse of a function by CWoo
136. quasisymmetric mapping by jirka
137. random graph (infinite) by bbukh
138. regular conditional probability by CWoo
139. relatively prime integer topology by mathcam
140. Remmert-Stein theorem by jirka
141. Riemann zeta function has no zeros on $\Re s=0,1$ by rm50
142. rigorous definition of tangent function by rspuzio
143. ring hierarchy by Algeboy
144. Robert Rosen by bci1
145. Rosetta biogroupoids by bci1
146. Saccheri quadrilateral by Wkbj79
147. Schur's Test by karstenb
148. sense-preserving mapping by jirka
149. separation axioms by Koro
150. series by mathwizard
151. Serre duality by mps
152. set theory by mathwizard
153. sign relation by Jon Awbrey
154. simplicial category by mhale
155. Smarandache n-structure by jonnathan
156. solution of equations by divided difference interpolaton by rspuzio
157. solving certain polynomial inequalities by CWoo
158. some theorems on strict betweenness relations by Mathprof
159. stable random variable by CWoo
160. star-free by CWoo
161. stationary process by CWoo
162. strictly upper triangular matrix by Daume
163. supercategory by bci1
164. supercategory theories by bci1
165. Sylvester's law by rspuzio
166. Taniyama-Shimura theorem by djao
167. Taylor's formula in Banach spaces by stevecheng
168. Taylor's theorem by Andrea Ambrosio
169. tensor product (vector spaces) by rmilson
170. therefore sign by pahio
171. totally real and imaginary fields by alozano
172. transfer function by lha
173. triangle by Wkbj79
174. universal mapping property by MichaelMcCliment
175. universe by archibal
176. valuation ring of a field by rm50
177. Young tableau by mps