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 'subfunction'
1. addition chain by PrimeFan
2. additive function by Wkbj79
3. affine transformation by matte
4. algebraic categories without free objects by Algeboy
5. almost complex structure by rspuzio
6. an outline of Hilbert's programme by gribskoff
7. another proof of rank-nullity theorem by CWoo
8. Archimedean ordered fields are real by rspuzio
9. arrows relation by Henry
10. beyond formalism: G\"{o}del's incompleteness by gribskoff
11. Boolean algebra homomorphism by CWoo
12. Borel functional calculus by asteroid
13. Carath\'eodory's lemma by gel
14. Cayley's parameterization of orthogonal matrices by rspuzio
15. characteristic subgroup by yark
16. Chomsky hierarchy by CWoo
17. closed operator by Koro
18. complete semilattice by CWoo
19. conditional expectation under change of measure by stevecheng
20. connection by rspuzio
21. construction of outer measures by gel
22. contact manifold by RevBobo
23. CR function by jirka
24. cryptography and number theory by archibal
25. Darboux's theorem (analysis) by mathwizard
26. Dehn's lemma by juanman
27. derivation of integral representations of Jacobi $\vartheta$ functions by rspuzio
28. differential geometry by rspuzio
29. dimension by bbukh
30. direct image by nerdy2
31. direct products of homomorphisms by joking
32. direct sum of matrices by CWoo
33. ETAS interpretation by bci1
34. Euler-Lagrange differential equation (advanced) by rspuzio
35. every permutation has a cycle decomposition by rspuzio
36. every symplectic manifold has even dimension by cvalente
37. example of infinite simple group by rspuzio
38. example of reducible and irreducible $G$-modules by rm50
39. extension of a function by Wkbj79
40. extension of Krull valuation by pahio
41. freely generated inductive set by CWoo
42. Freiman isomorphism by bbukh
43. Frobenius group by bwebste
44. functor category by CWoo
45. Galois group of a cubic polynomial by rm50
46. generalized sequential machine by CWoo
47. global dimension of a subring by joking
48. groupoid C*-dynamical system by bci1
49. G\"odel's incompleteness theorems by mathcam
50. hashing by akrowne
51. homomorphism of languages by CWoo
52. Hopf bundle by bwebste
53. hyperbolic set by Koro
54. imaginaries by mathcam
55. injective $C^*$-algebra homomorphism is isometric by asteroid
56. injective function by drini
57. interpretation of intuitionistic logic by means of functionals by gribskoff
58. intuitionistic logic by gribskoff
59. invariant by rmilson
60. invariant by a measure-preserving transformation by asteroid
61. invariant subspace by rmilson
62. inverse function by matte
63. isotopy by rspuzio
64. Julia set by rspuzio
65. Krasner's lemma by rm50
66. Laplace equation in cylindrical coordinates by bloftin
67. Laplace transform of a Gaussian function by perucho
68. Lie algebra cohomology by rmilson
69. linear extension by GrafZahl
70. linear language by CWoo
71. Lipschitz condition and differentiability by Mathprof
72. local homeomorphism by joking
73. localization for distributions by drini
74. locally Euclidean by matte
75. loop theorem by juanman
76. mathematics vocabulary by matte
77. methods to find extremum by bloftin
78. PA by Henry
79. Paley-Wiener theorem by Gorkem
80. partial isometry by CWoo
81. Phragm\'en-Lindel\"of theorem by jirka
82. piecewise by CWoo
83. place of field by pahio
84. Poisson summation formula by rmilson
85. predicativism by gribskoff
86. prenex form by rspuzio
87. presheaf by nerdy2
88. proof of $d\alpha (X,Y) = X(\alpha(Y))$ $-$ $Y(\alpha(X))$ $ -$ $\alpha([X,Y])$ (local coordinates) by rspuzio
89. proof of angle sum identities by rspuzio
90. proof of arithmetic-geometric means inequality using Lagrange multipliers by stevecheng
91. proof of Carath\'eodory's extension theorem by gel
92. proof of equivalent definitions of analytic sets for Polish spaces by gel
93. proof of existence of the Lebesgue measure by gel
94. proof of Fubini's theorem for the Lebesgue integral by azdbacks4234
95. proof of Galois group of the compositum of two Galois extensions by rm50
96. proof of growth of exponential function by rspuzio
97. proof of Hartman-Grobman theorem by Koro
98. proof of necessary and sufficient condition for diagonalizability by rspuzio
99. proof of Schauder fixed point theorem by asteroid
100. proof that the compositum of a Galois extension and another extension is Galois by rm50
101. properties of injective functions by rspuzio
102. properties of well-ordered sets by GrafZahl
103. pseudo-Riemannian manifold by cvalente
104. quantifier by CWoo
105. quasi-inverse of a function by CWoo
106. quotient category, additive by bci1
107. regular map by nerdy2
108. Remmert-Stein theorem by jirka
109. Riemann surface by PrimeFan
110. Russell's theory of types by Aatu
111. scheme by djao
112. self-adjoint operator by Koro
113. semiautomaton homomorphism by CWoo
114. set by Mathprof
115. set closed under an operation by archibal
116. set theory by mathwizard
117. sheaf by djao
118. sheaf by archibal
119. sheaf of meromorphic functions by archibal
120. sheafification by djao
121. simplified automaton by CWoo
122. simultaneous block-diagonalization of upper triangular commuting matrices by lars_h
123. square root by Wkbj79
124. stalk by djao
125. state-output machine by CWoo
126. structure sheaf by djao
127. subalgebra of a partial algebra by CWoo
128. subsemiautomaton by CWoo
129. subspace topology in a metric space by matte
130. substitution by CWoo
131. supercategory by bci1
132. symmetric difference on a finite number of sets by CWoo
133. the compositum of a Galois extension and another extension is Galois by alozano
134. Thom class by antonio
135. topics in manifold theory by evin290
136. topological embedding by kompik
137. transfinite recursion by CWoo
138. transversals / lifts / sifts by Algeboy
139. variant of Cardano's derivation by mathcam
140. von Neumann-Bernays-G\"odel set theory by Aatu