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

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'expression'
1. $\operatorname{arc tan}$ with two arguments by matte
2. $\operatorname{p.\!v.}(\frac{1}{x})$ is a distribution of first order by Koro
3. absolute value inequalities by Wkbj79
4. adding and removing parentheses in series by pahio
5. adjoint representation by rmilson
6. affine connection by rspuzio
7. all bases for a vector space have the same cardinality by CWoo
8. all positive integers are polite numbers except powers of two by PrimeFan
9. alternate characterization of curl by stevecheng
10. alternate proof of parallelogram law by drini
11. alternating sum by PrimeFan
12. alternative proof of condition on a near ring to be a ring by Wkbj79
13. an outline of Hilbert's programme by gribskoff
14. analytic continuation of gamma function by pahio
15. analytic continuation of Riemann zeta (using integral) by rspuzio
16. application of fundamental theorem of integral calculus by pahio
17. arc length of logarithmic curve by pahio
18. arc length of parabola by pahio
19. area of spherical calotte by means of chord by pahio
20. argument by Wkbj79
21. arithmetic series by georgiosl
22. arithmetic-geometric series by perucho
23. associative by CWoo
24. asymptote of Lam\'e's cubic by pahio
25. asymptotic bounds for factorial by stevecheng
26. asymptotics of central binomial coefficient by rspuzio
27. Baker-Campbell-Hausdorff formula(e) by Mathprof
28. barycentric coordinates by CWoo
29. Basel problem derivation by curious
30. basic tensor by rmilson
31. Bennett inequality by Andrea Ambrosio
32. Bessel's equation by pahio
33. beyond formalism: G\"{o}del's incompleteness by gribskoff
34. bias by CWoo
35. binomial theorem, proof of by mps
36. Birch and Swinnerton-Dyer conjecture by alozano
37. Birkhoff prime ideal theorem by CWoo
38. birthday problem by PrimeFan
39. Black-Scholes PDE by stevecheng
40. Boolean subalgebra by CWoo
41. Boolean-valued function by Jon Awbrey
42. Borel functional calculus by asteroid
43. bounded operator by bwebste
44. B\'ezier curve by yota
45. calculating the nth roots of a complex number by archibal
46. calculus of variations by rspuzio
47. Cardano's derivation of the cubic formula by djao
48. Cayley-Dickson construction by CWoo
49. central binomial coefficient by rspuzio
50. characterization of almost convex functions by rspuzio
51. Cholesky decomposition by gufotta
52. Church integer by mathcam
53. circle by PrimeFan
54. closed form by akrowne
55. coarser by rspuzio
56. coboundary definition of exterior derivative by rmilson
57. colorings of plane graphs by marijke
58. combinatory logic by Logan
59. common formulas in calculus of differential forms by juanman
60. completing the square by mathcam
61. composite trapezoidal rule by Wkbj79
62. computation of surface area of portion of paraboloid by rspuzio
63. concepts in linear algebra by matte
64. conchoid of Nicomedes by pahio
65. conditional distribution of multi-variate normal variable by stevecheng
66. conjugate diameters of ellipse by pahio
67. conjugation (mnemonic) by Wkbj79
68. connection by rspuzio
69. consequence operator by rspuzio
70. consistent estimator by CWoo
71. construction of Banach limit using limit along an ultrafilter by kompik
72. construction of polar coordinates by CWoo
73. context-free language by CWoo
74. continuous functional calculus by asteroid
75. continuous linear mapping by Koro
76. counting theorem by mathcam
77. cross product by yark
78. cuboid with least surface by pahio
79. curl by rspuzio
80. currying by mps
81. curvature of Nielsen's spiral by pahio
82. cycle notation by rmilson
83. derivation of surface area measure on sphere by rspuzio
84. derivation of 2D reflection matrix by stevecheng
85. derivation of cosines law by drini
86. derivation of Coulomb's Law from Gauss' Law by invisiblerhino
87. derivation of first formula for surface integration with respect to area by rspuzio
88. derivation of generating function for the reciprocal central binomial coefficients by rm50
89. derivation of heat equation by pahio
90. derivation of mutual information by tdunning
91. derivation of properties of regular open set by CWoo
92. derivation of properties on interior operation by CWoo
93. derivation of Pythagorean triples by pahio
94. derivation of rotation matrix using polar coordinates by stevecheng
95. derivation of the Laplacian from rectangular to spherical coordinates by swapnizzle
96. derivation of wave equation by pahio
97. derivative by rmilson
98. derivatives by pure algebra by Algeboy
99. determinant as a multilinear mapping by rmilson
100. determinant in terms of traces of powers by Mathprof
101. determination of Fourier coefficients by pahio
102. determining envelope by pahio
103. diagonalizable operator by asteroid
104. diamond lemma by CWoo
105. differential form by rmilson
106. differential propositional calculus by Jon Awbrey
107. differential propositional calculus : appendix 1 by Jon Awbrey
108. Dirac equation by Raphanus
109. direct integral of Hilbert spaces by rspuzio
110. Dirichlet's function by mathcam
111. distance from point to a line by acastaldo
112. distance of non-parallel lines by pahio
113. divided difference table by rspuzio
114. divisibility of central binomial coefficient by rspuzio
115. division by pahio
116. Dyck language by CWoo
117. e is transcendental by pahio
118. Egyptian fraction by milogardner
119. Einstein summation convention by PrimeFan
120. elementary embedding by CWoo
121. elementary symmetric polynomial in terms of power sums by rspuzio
122. equation by pahio
123. equivalent regular expressions by CWoo
124. ETAS interpretation by bci1
125. Euler's derivation of the quartic formula by pahio
126. Euler's substitutions for integration by pahio
127. even-even-odd rule by Wkbj79
128. evolute of cycloid by pahio
129. example needing two Lagrange multipliers by pahio
130. example of Cauchy multiplication rule by pahio
131. example of closed form by drini
132. example of computing limits using Taylor expansion by stevecheng
133. example of monadic algebra by CWoo
134. example of straight-line program by Algeboy
135. example of transfinite induction by CWoo
136. example of using Lagrange multipliers by pahio
137. example using Stolz-Cesaro theorem by georgiosl
138. examples of fields by AxelBoldt
139. examples of lamellar field by pahio
140. examples supporting the Erd\H{o}s-Straus conjecture by PrimeFan
141. explicit form for currying by rspuzio
142. exponential by rmilson
143. exponential family by CWoo
144. expressible in closed form by pahio
145. exterior algebra by rmilson
146. factorization criterion by CWoo
147. false counterexamples to Fermat's last theorem by PrimeFan
148. Farkas lemma by Koro
149. Fermat numbers by drini
150. finite difference by CWoo
151. first fundamental form by stevecheng
152. first order language by CWoo
153. formal power series by AxelBoldt
154. formulas for differential forms of small valence by rmilson
155. Fourier series in complex form and Fourier integral by pahio
156. Fourier sine and cosine series by pahio
157. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
158. function by djao
159. functional calculus by asteroid
160. fundamental theorem of finitely generated abelian groups by alozano
161. Galois-theoretic derivation of the cubic formula by djao
162. Galois-theoretic derivation of the quartic formula by djao
163. Gaussian polynomials by mathcam
164. general associativity by pahio
165. general solution of linear differential equation by pahio
166. generalization of Young inequality by Andrea Ambrosio
167. generalized regular expression by CWoo
168. generating function for the reciprocal central binomial coefficients by juanman
169. geometric distribution by Mathprof
170. geometric representation of relation composition by Jon Awbrey
171. global characterization of hypergeometric function by rspuzio
172. Google calculator by CompositeFan
173. gradient by CWoo
174. greatest common divisor by CWoo
175. Green's function for differential operator by mathforever
176. Gregory series by PrimeFan
177. G\"odel's incompleteness theorems by mathcam
178. Hessian form by PrimeFan
179. Hilbert's $\varepsilon$-operator by gribskoff
180. Hodge theory by bwebste
181. hypergeometric function by rspuzio
182. hypostatic abstraction by Jon Awbrey
183. ideal norm by pahio
184. identity in a class by CWoo
185. illustration of integration techniques by Wkbj79
186. improper limits by pahio
187. indefinite sum by CWoo
188. indeterminate form by akrowne
189. index of tables by PrimeFan
190. inference rule by rspuzio
191. infix notation by akrowne
192. integral related to arc sine by pahio
193. integration of differential binomial by rspuzio
194. integration of fraction power expressions by pahio
195. internal direct sum of ideals by Mathprof
196. interpretation of intuitionistic logic by means of functionals by gribskoff
197. keep-flip-change by Wkbj79
198. Klein-Gordon equation by invisiblerhino
199. K\"ahler potential by rspuzio
200. l'H\^opital's rule by mathwizard
201. Lagrange multipliers on manifolds by stevecheng
202. lamellar field by pahio
203. Laplace transform of derivative by pahio
204. lattice polynomial by CWoo
205. least common multiple by pahio
206. lecture notes on determinants by rmilson
207. lecture notes on polynomial interpolation by rmilson
208. left hand rule by Wkbj79
209. Levi pseudoconvex by jirka
210. Levi-Civita permutation symbol by matte
211. locale by CWoo
212. logarithmic derivative by rspuzio
213. logical graph : introduction by Jon Awbrey
214. logicism by gribskoff
215. Mathematica by Mravinci
216. mathematical platonism by gribskoff
217. mathematics vocabulary by matte
218. MatheRealism by WM
219. matrix by bbukh
220. matrix inverse by akrowne
221. median of trapezoid by pahio
222. Mercator projection by acastaldo
223. method of integrating factors by pahio
224. methods to find extremum by bloftin
225. midpoint rule by Wkbj79
226. minimal negation operator by Jon Awbrey
227. monotonicity of the sequence $(1 + x/n)^n$ by rspuzio
228. Monte Carlo simulation by stevecheng
229. more examples of Polish notation by Mravinci
230. more examples of reverse Polish notation by Mravinci
231. multinomial theorem by bshanks
232. mutual information by drummond
233. nabla acting on products by pahio
234. Newton's method by alozano
235. normal curvatures by pahio
236. nth root by mathcam
237. order of operations by akrowne
238. orthogonality of Laguerre polynomials by pahio
239. orthogonality relations by mhale
240. orthonormal basis by yark
241. p-adic canonical form by pahio
242. partial fractions for polynomials by stevecheng
243. partial fractions of expressions and partition problems (recreational) by rspuzio
244. Pascal's triangle by Koro
245. perimeter of astroid by pahio
246. perimeter of ellipse by pahio
247. perspective drawing by stevecheng
248. pi by mathcam
249. Poincar\'e $1$-form by matte
250. polar tangential angle by pahio
251. Polish notation by PrimeFan
252. polynomial by Wkbj79
253. polynomial functional calculus by asteroid
254. proof of $d\alpha (X,Y) = X(\alpha(Y))$ $-$ $Y(\alpha(X))$ $ -$ $\alpha([X,Y])$ (global coordinate-free) by rspuzio
255. proof of $d\alpha (X,Y) = X(\alpha(Y))$ $-$ $Y(\alpha(X))$ $ -$ $\alpha([X,Y])$ (local coordinates) by rspuzio
256. proof of arithmetic-geometric-harmonic means inequality by drini
257. proof of basis of ideal in algebraic number field by lalberti
258. proof of Bennett inequality by Andrea Ambrosio
259. proof of Bernstein inequalities by Andrea Ambrosio
260. proof of Bohr-Mollerup theorem by lieven
261. proof of Brahmagupta's formula by giri
262. proof of Cayley-Hamilton theorem by formal substitutions by asteroid
263. proof of Ceva's theorem by yark
264. proof of Chernoff-Cramer bound by Andrea Ambrosio
265. proof of Chinese remainder theorem by mclase
266. proof of Clarkson inequality by CWoo
267. proof of division algorithm for integers by drini
268. proof of double angle identity by drini
269. proof of equivalence of Fermat's Last Theorem to its analytic form by whm22
270. proof of equivalence of formulas for exp by stevecheng
271. proof of Euler-Maclaurin summation formula by pbruin
272. proof of example of medial quasigroup by rspuzio
273. proof of factor theorem due to Fermat by pahio
274. proof of Gauss' digamma theorem by rm50
275. proof of generalized Leibniz rule by rspuzio
276. proof of Jacobi's identity for $\vartheta$ functions by rspuzio
277. proof of Lagrange's four-square theorem by CWoo
278. proof of Lindemann-Weierstrass theorem and that e and $\pi$ are transcendental by rm50
279. proof of Lucas-Lehmer primality test by rm50
280. proof of Morley's theorem by mathcam
281. proof of parallelogram law by Mathprof
282. proof of Prohorov inequality by Andrea Ambrosio
283. proof of quotient rule by drini
284. proof of Rodrigues' rotation formula by stevecheng
285. proof of Simpson's rule by drini
286. proof of square root of square root binomial by rspuzio
287. proof of Stewart's theorem by Mathprof
288. proof of Thue's Lemma by mathcam
289. proof of Wielandt-Hoffman theorem by Andrea Ambrosio
290. proof that $4^x$ exceeds the product of the primes up to $x$ by PrimeFan
291. proof that Sylvester's matrix equals the resultant by rspuzio
292. properties of certain monotone functions by CWoo
293. properties of ellipse by pahio
294. properties of orthogonal polynomials by pahio
295. properties of symmetric difference by CWoo
296. propositional calculus by Jon Awbrey
297. Prouhet-Thue-Morse constant by mathcam
298. pseudorandom numbers by akrowne
299. P\'olya-Vinogradov inequality by djao
300. quadratic curves by pahio
301. quadratic sieve by patrickwonders
302. radical by Wkbj79
303. Ramanujan sum by Mathprof
304. Ramanujan tau function by Wkbj79
305. rational function by CWoo
306. ray by CWoo
307. recurrence in a Markov chain by CWoo
308. regular open algebra by CWoo
309. relative of cosine integral by pahio
310. reverse Polish notation by Mravinci
311. Reynolds transport theorem by perucho
312. Riccati equation by pahio
313. Riemannian manifold by djao
314. right hand rule by Wkbj79
315. ring adjunction by pahio
316. rotational invariance of cross product by matte
317. rule of Sarrus by pahio
318. Schwarz-Christoffel transformation by pahio
319. Schwarz-Christoffel transformation (circular version) by stevecheng
320. secant method by bloftin
321. second fundamental form by stevecheng
322. semicubical parabola by pahio
323. seminorm by rmilson
324. semiotic equivalence relation by Jon Awbrey
325. Sheffer stroke by CWoo
326. simple field extension by pahio
327. simple interest by CWoo
328. sinc function by mathcam
329. singular points of plane curve by pahio
330. solving the wave equation due to D. Bernoulli by pahio
331. sources and sinks of vector field by pahio
332. space-time quantization problems in quantum gravity theories by bci1
333. square root of square root binomial by pahio
334. star height by CWoo
335. star-free by CWoo
336. Stirling numbers of the first kind by rmilson
337. straight-line program by Algeboy
338. strict divisibility by pahio
339. subharmonic and superharmonic functions by jirka
340. substitution for integration by pahio
341. sum of powers by CWoo
342. sum of powers of binomial coefficients by Andrea Ambrosio
343. sum of reciprocals of Sylvester's sequence by rspuzio
344. summation by drini
345. summed numerator and summed denominator by pahio
346. supercategory by bci1
347. superscript by PrimeFan
348. symbolic computation by akrowne
349. symmetric polynomial by djao
350. tacit multiplication operator by CompositeFan
351. Tait coloring by marijke
352. tangent plane (elementary) by rspuzio
353. tautology by rspuzio
354. Taylor formula remainder: various expressions by gufotta
355. Taylor series by stevecheng
356. Taylor's formula in Banach spaces by stevecheng
357. telegraph equation by pahio
358. tensor product (vector spaces) by rmilson
359. terms from foreign languages used in mathematics (html version) by Wkbj79
360. terms from foreign languages used in mathematics (page images version) by Wkbj79
361. tests for local extrema in Lagrange multiplier method by stevecheng
362. the inclusion of classical into intuitionistic logic by gribskoff
363. theory of algebraic and transcendental numbers by alozano
364. Thue system by CWoo
365. time complexity by akrowne
366. time dilation by curious
367. time-dependent example of heat equation by pahio
368. triadic relation by Jon Awbrey
369. triangle mid-segment theorem by pahio
370. trigonometric formulas from de Moivre identity by pahio
371. trigonometry by rm50
372. truth table by rspuzio
373. ucp convergence of processes by gel
374. unique readability of parenthesized formulas by CWoo
375. unique readability of well-formed formulas by CWoo
376. unit of adjunction by CWoo
377. unit vector by rmilson
378. variable groupoid by bci1
379. vector identities by mark_t314159
380. vector projection by pahio
381. vector spaces are isomorphic iff their bases are equipollent by CWoo
382. vector-valued function by pahio
383. Vizing's theorem by marijke
384. volume of ellipsoid by pahio
385. von Neumann-Bernays-G\"odel set theory by Aatu
386. weaker version of Stirling's approximation by rm50
387. well-defined by pahio
388. Weyl algebra by GrafZahl
389. zeroth order logic by Jon Awbrey
390. \'Emile Lemoine by PrimeFan