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 'property'
1. $C^*$-algebra by asteroid
2. $C^n$ norm by rspuzio
3. $e^r$ is irrational for $r\in\mathbb{Q}\setminus\{0\}$ by Cosmin
4. $m$-system by CWoo
5. $\bar{\partial}$ operator by jirka
6. $\clubsuit$ by Henry
7. $\epsilon$-transition by CWoo
8. $\mathbb{L}^p$ vs $\mathbb{L}^q$ by yark
9. $\mathcal{C}^r$ topologies by Koro
10. $\mu$-operator by CWoo
11. $\sigma$-algebra by yark
12. a compact metric space is second countable by azdbacks4234
13. a functor is an equivalence iff it is fully faithful and essentially surjective by CWoo
14. a harmonic function on a graph which is bounded below and nonconstant by drini
15. abelian groups of order $120$ by alozano
16. absolute value in a vector lattice by CWoo
17. absolutely continuous by Koro
18. absolutely flat by mathcam
19. abstract family of languages by CWoo
20. additive by Andrea Ambrosio
21. additive function by Wkbj79
22. additive inverse of one element times another element is the additive inverse of their product by cvalente
23. additive inverse of the zero in a ring by aplant
24. adjugate by rmilson
25. affine connection by rspuzio
26. affine geometry by CWoo
27. affine transformation by matte
28. algebra by djao
29. algebraic closure of a finite field by Algeboy
30. algebraic geometry by archibal
31. Algebraic K-theory by mhale
32. algebraic number theory by alozano
33. algebraic sets and polynomial ideals by mathcam
34. algebras by Algeboy
35. all bases for a vector space have the same cardinality by CWoo
36. all one polynomial by Derk
37. almost periodic function (classical definition) by drini
38. alternate form of sum of $r$th powers of the first $n$ positive integers by rm50
39. alternating form by CWoo
40. alternative characterizations of recursive functions by rspuzio
41. alternative definition of an Abelian category by bci1
42. alternative definition of cardinality by CWoo
43. alternative definition of category by rspuzio
44. alternative definition of metric space by rspuzio
45. an outline of Hilbert's programme by gribskoff
46. An over view of Ahmes Papyrus by milogardner
47. angle by CWoo
48. anti-cone by stevecheng
49. antipodal by mathcam
50. applications of Urysohn's Lemma to locally compact Hausdorff spaces by azdbacks4234
51. arbitrary join by CWoo
52. Archimedean semigroup by mclase
53. area bounded by arc and two lines by pahio
54. arithmetic by PrimeFan
55. arithmetic-geometric mean by rspuzio
56. associative by CWoo
57. axiom of dependent choices by CWoo
58. axiom of determinacy by CWoo
59. axiom of foundation by Henry
60. axiomatic definition of the real numbers by matte
61. axiomatic geometry by CWoo
62. Baire category theorem by Koro
63. Banach algebra by rspuzio
64. Basel problem derivation by curious
65. basis of ideal in algebraic number field by pahio
66. Berlekamp-Massey algorithm by mathcam
67. betweenness in rays by CWoo
68. betweenness relation by Mathprof
69. beyond formalism: G\"{o}del's incompleteness by gribskoff
70. bibliography for algebraic geometry by alozano
71. bicyclic semigroup by mclase
72. binary Golay code by mathcam
73. binary tree by Daume
74. binomial coefficient by matte
75. biops by HkBst
76. bipartite matching by mathcam
77. Black-Scholes PDE by stevecheng
78. Bohr-Mollerup theorem by Koro
79. Book of Numbers by PrimeFan
80. Boolean algebra homomorphism by CWoo
81. Borel $\sigma$-algebra by djao
82. Borel G-space by bci1
83. boundary of an open set is nowhere dense by CWoo
84. bounded maximization by CWoo
85. bounded minimization by CWoo
86. Brouwerian lattice by CWoo
87. Burnside basis theorem by alozano
88. Burnside ring by joking
89. calculating the splitting of primes by mathcam
90. canonical height on an elliptic curve by alozano
91. canonical ordering on pairs of ordinals by CWoo
92. Cantor-Bendixson derivative by CWoo
93. cap product by Mazzu
94. cardinal number by djao
95. Cartan calculus by bci1
96. Cartesian product by djao
97. Cassini oval by pahio
98. categorical quantum logics as quantum LM-algebraic logic by bci1
99. category of $(M,R)$--systems by bci1
100. category of fractions by CWoo
101. category of matrices by rspuzio
102. category of small categories by CWoo
103. category theory by archibal
104. Cauchy-Binet formula by CWoo
105. Cayley-Dickson construction by CWoo
106. center of a lattice by CWoo
107. central binomial coefficient by rspuzio
108. centralizers in algebra by Algeboy
109. centre of mass by stevecheng
110. centroid by drini
111. Ces\`aro mean by mathcam
112. chain by CWoo
113. change of basis by CWoo
114. character by djao
115. characterisation by pahio
116. characteristic function by Koro
117. characteristic monoid by CWoo
118. characterization of a Kleene algebra by CWoo
119. characterization of prime ideals by GrafZahl
120. Chinese remainder theorem proof by vampyr
121. Christoffel symbols by juanman
122. circular helix by rspuzio
123. circulation and vorticity by perucho
124. Clairaut's theorem by Mathprof
125. class function by djao
126. class number divisibility in extensions by alozano
127. classical groups by Algeboy
128. classification of topological properties according to behaviour under mapping by rspuzio
129. clopen subset by mathcam
130. closed operator by Koro
131. closure map by CWoo
132. closure of a relation with respect to a property by CWoo
133. closure of a subset under relations by CWoo
134. closure of a vector subspace in a normed space is a vector subspace by gumau
135. closure properties on languages by CWoo
136. coalgebra isomorphisms and isomorphic coalgebras by joking
137. code by mathcam
138. collectionwise normal by mathcam
139. colorings of plane graphs by marijke
140. commutativity relation in an orthocomplemented lattice by CWoo
141. commutativity theorems on rings by CWoo
142. commutator bracket by rmilson
143. commuting matrices by Algeboy
144. compact element by CWoo
145. compact quantum groupoids related to C*-algebras by bci1
146. comparison between Lebesgue and Riemann Integration by Mathprof
147. comparison of common geometries by Wkbj79
148. complete binary tree by akrowne
149. completeness principle by mathcam
150. completion by djao
151. complex exponential function by pahio
152. complex p-adic numbers by alozano
153. complex tangent and cotangent by pahio
154. composition algebra by Algeboy
155. compositions of natural transformations by CWoo
156. compound matrix by Mathprof
157. concatenation by CWoo
158. concyclic by CWoo
159. conditional congruences by pahio
160. cone in $\mathbb{R}^3$ by pahio
161. confluence by CWoo
162. congruence axioms by CWoo
163. connected poset by CWoo
164. connected space by mathcam
165. connection by rspuzio
166. consequence operator by rspuzio
167. consequence operator determined by a class of subsets by rspuzio
168. constructible numbers by CWoo
169. construction of Dirac delta function by djao
170. construction of polar coordinates by CWoo
171. construction of Riemann surface using paths by rspuzio
172. continuity equation by perucho
173. continuous by djao
174. continuous geometry by CWoo
175. contraction by mathcam
176. converse of Darboux's theorem (analysis) is not true by Gorkem
177. convex subgroup by CWoo
178. convolution by PrimeFan
179. cotangent bundle by rspuzio
180. countable basis by djao
181. countable complement topology by mathcam
182. counterexamples for products and coproduct by Algeboy
183. Coxeter group by Simone
184. cube root by Daume
185. cumulative distribution function by bbukh
186. curvature (space curve) by slider142
187. cylindric algebra by CWoo
188. De Morgan algebra by CWoo
189. decimal fraction by CWoo
190. Dedekind cuts by rmilson
191. Dedekind domains with finitely many primes are PIDs by gel
192. Dedekind-finite by CWoo
193. definite integral by mathwizard
194. Dehn's theorem by paolini
195. derivation by djao
196. derivation language by CWoo
197. derivation of Hartley function by Mathprof
198. derivation of properties of regular open set by CWoo
199. derivation of properties on interior operation by CWoo
200. derivation of Pythagorean triples by pahio
201. derivation of Sylvester's matrix for the resultant by rspuzio
202. derivative by rmilson
203. derivative of $x^n$ by Algeboy
204. derivatives by pure algebra by Algeboy
205. derived Boolean operations by CWoo
206. derived functor by mathcam
207. descriptive metadata specification by yi6604
208. determinant by rmilson
209. determinant as a multilinear mapping by rmilson
210. deterministic pushdown automaton by CWoo
211. diamond lemma by CWoo
212. difference of lattice elements by porton
213. differentiable function by Koro
214. differential field by CWoo
215. differential geometry by rspuzio
216. differential propositional calculus by Jon Awbrey
217. direct image by djao
218. direct limit of sets by CWoo
219. directed segment by drini
220. Dirichlet's function by mathcam
221. discontinuous by mathwizard
222. discrete logarithm by mathwizard
223. distributivity in po-groups by CWoo
224. divided difference by rspuzio
225. divisibility in rings by pahio
226. division in group by pahio
227. divisor theory by pahio
228. divisor theory and exponent valuations by pahio
229. Donaldson Freedman exotic R4 by whm22
230. doubly even number by 1and2and4
231. Drazin inverse by kronos
232. dual category by CWoo
233. dual homomorphism by rmilson
234. duality principle by mathcam
235. Dyck language by CWoo
236. Dynkin's lemma by gel
237. effective equivalence relation by CWoo
238. eigenspace by CWoo
239. eigenvalue problem by archibal
240. eigenvalues of an involution by Koro
241. Eilenberg-MacLane space by antonio
242. Einstein field equations by rspuzio
243. elementary matrix by CWoo
244. ellipse by matte
245. elliptic curve by djao
246. envelope of a function by cvalente
247. epi by CWoo
248. epimorphic hull by jocaps
249. equality of complex numbers by pahio
250. equalizer by CWoo
251. equitable matrix by matte
252. equitable matrix for money exchange by mathforever
253. equivalent characterizations of Dedekind domains by gel
254. equivalent conditions for uniform integrability by gel
255. equivalent grammars by CWoo
256. equivalent representations of groupoids by bci1
257. errors can cancel each other out by pahio
258. ETAC by bci1
259. Euclidean space by rmilson
260. Euler circuit by CWoo
261. Euler four-square identity by vitriol
262. Euler's polyhedron theorem, proof of by mps
263. evaluation homomorphism by mathcam
264. eventual property by CWoo
265. eventually coincide by mathcam
266. every even integer greater than 70 is the sum of two abundant numbers in more than one way by PrimeFan
267. every ordered field with the least upper bound property is isomorphic to $\mathbb{R}$, proof that by mps
268. every prime has a primitive root by alozano
269. evolute by pahio
270. example of antisymmetric by Algeboy
271. example of Chu space by Henry
272. example of computing limits using Taylor expansion by stevecheng
273. example of cylindric algebra by CWoo
274. example of fundamental theorem of demography by mathcam
275. example of Klein 4-ring by Algeboy
276. example of Latin squares by jgade
277. example of quantifier by hkkass
278. example of transfinite induction by CWoo
279. examples of cyclotomic polynomials by alozano
280. examples of Kaprekar numbers by PrimeFan
281. examples of prime ideal decomposition in number fields by alozano
282. existence and uniqueness of decimal expansion by stevecheng
283. existence of Hilbert class field by mathcam
284. existence of maximal semilattice decomposition by mclase
285. existence of the minimal polynomial by alozano
286. expansive by Koro
287. exponent valuation by pahio
288. exponential by rmilson
289. exponential function by CWoo
290. extended norm by rspuzio
291. extension of a function by Wkbj79
292. exterior algebra by rmilson
293. factorization system by CWoo
294. famous open questions in mathematics by rspuzio
295. Farey pair by drini
296. Feller process by mcarlisle
297. fence by CWoo
298. Fermat numbers by drini
299. Fermat's last theorem by akrowne
300. Fermat's little theorem by CWoo
301. fiber bundle by bwebste
302. Fibonacci polynomials by veselin
303. field by djao
304. finite difference by CWoo
305. finite nilpotent groups by Algeboy
306. finite plane by marijke
307. finite projective plane by Mathprof
308. first fundamental form by stevecheng
309. first isomorphism theorem by almann
310. Fitting's lemma by CWoo
311. fix by Wkbj79
312. flow by Koro
313. forcing by ratboy
314. formal power series by AxelBoldt
315. Fourier transform by mathwizard
316. fractional differentiation by Wkbj79
317. Franklin magic square by PrimeFan
318. Frattini subset by Algeboy
319. free associative algebra by Algeboy
320. free module by mathcam
321. free module by Mathprof
322. free modules over a ring which is not a PID by joking
323. free objects in concrete categories by joking
324. free product with amalgamated subgroup by mathcam
325. Fresnel integrals by pahio
326. Frobenius group by bwebste
327. Frobenius matrix norm by mathcam
328. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
329. function $x^x$ by pahio
330. function space by matte
331. fundamental theorem of arithmetic by CWoo
332. fuzzy logic by ggerla
333. Galois connection by CWoo
334. Galois representation by alozano
335. generalization of a pseudometric by CWoo
336. generalized Boolean algebra by CWoo
337. generalized eigenspace by CWoo
338. generalized eigenvector by CWoo
339. generalized Farkas lemma by stevecheng
340. generalized Pythagorean theorem by yogis
341. generalized quaternion group by Algeboy
342. generalized toposes with many-valued logic subobject classifiers by bci1
343. generic by Koro
344. genus of topological surface by Mathprof
345. geodesic by Mathprof
346. geometric algebra by PhysBrain
347. geometry by rspuzio
348. geometry as the study of invariants under certain transformations by rspuzio
349. germ by fernsanz
350. global characterization of hypergeometric function by rspuzio
351. good hash table primes by akrowne
352. gradient by CWoo
353. Gram determinant by CWoo
354. graph isomorphism by vampyr
355. Grothendieck category lemma by bci1
356. group representation by djao
357. grouplike elements by joking
358. groupoid (category theoretic) by CWoo
359. groupoid C*-convolution algebras by bci1
360. groupoid representation theorem by bci1
361. G\"odel numbering by Henry
362. G\"odel's incompleteness theorems by mathcam
363. Haar integral by rspuzio
364. Hahn-Banach theorem by rmilson
365. Hall subgroup by Algeboy
366. Hamming metric by drini
367. harmonic number by mathcam
368. harmonic oscillator by perucho
369. Hartogs triangle by jirka
370. Hausdorff metric by Koro
371. Hausdorff space by yark
372. heap by mps
373. Heaps' law by akrowne
374. Hecke algebra by olivierfouquetx
375. hedgehog space by mathcam
376. height function by alozano
377. hemimetric by Koro
378. Hermitian dot product (finite fields) by GrafZahl
379. Hermitian form by djao
380. Hermitian form over a division ring by CWoo
381. hexagon by Wkbj79
382. Heyting algebra by CWoo
383. high school mathematics by matte
384. Hilbert parallelotope by rspuzio
385. Hilbert's $\varepsilon$-operator by gribskoff
386. Hogatt's theorem by mathcam
387. homomorphism between partial algebras by CWoo
388. homotopes and isotopes of algebras by Algeboy
389. how to multiply polynomials by Algeboy
390. hyperbolic group by Wkbj79
391. hyperbolic rotation by CWoo
392. ideal classes form an abelian group by mathcam
393. ideal multiplication laws by pahio
394. idempotent semiring by CWoo
395. identity matrix by mathcam
396. If $f\colon X\to Y$ is continuous then $f\colon X\to f(X)$ is continuous by matte
397. IF-logic by mathcam
398. imaginaries by mathcam
399. importance of primitive recursion by CWoo
400. incidence geometry by CWoo
401. indefinite sum by CWoo
402. index of properties of topological spaces by rspuzio
403. index of tables by PrimeFan
404. index of the group of cyclotomic units in the full unit group by alozano
405. indiscrete topology by mathwizard
406. induction by Daume
407. inductive set by djao
408. infinite descent by Thomas Heye
409. infix notation by akrowne
410. inflection points and canonical forms of non-singular cubic curves by rspuzio
411. injective and surjective morphisms in concrete categories by joking
412. inner product by djao
413. integer factorization by PrimeFan
414. integral domain by djao
415. interest by CWoo
416. interior axioms by rspuzio
417. internal category by CWoo
418. interpolation property by CWoo
419. intersection by CWoo
420. interval by PrimeFan
421. intrinsically knotted by YourInnerNurmo
422. intrinsically linked by YourInnerNurmo
423. introducing 0th power by mathcam
424. intuitionistic logic by gribskoff
425. invariant subspace problem by asteroid
426. inversion of plane by pahio
427. invertible ideals are projective by gel
428. isomorphism-closed subcategory by kompik
429. Jacobi $\vartheta$ functions by rspuzio
430. Jacobson radical of a module category and its power by joking
431. jet bundle by rspuzio
432. joint normal distribution by gel
433. Jones Polynomial by Stephaninos
434. Jordan-Banach and Jordan-Lie algebras by bci1
435. Jordan-H\"older decomposition theorem by djao
436. Julia set by rspuzio
437. K-theory by mhale
438. Kantorovitch's theorem by stevecheng
439. Kaprekar number by PrimeFan
440. Kautz graph by wati
441. kite by yark
442. KKM lemma by uriw
443. Klein 4-group by Algeboy
444. Kronecker product by Mathprof
445. Krull valuation by pahio
446. Kurosh-Ore theorem by CWoo
447. ladder connected by mathcam
448. Laplace transform of periodic functions by pahio
449. Lebesgue measure by bbukh
450. Lebesgue number lemma by djao
451. lecture notes on determinants by rmilson
452. lecture notes on polynomial interpolation by rmilson
453. leftmost derivation by CWoo
454. Levi-Civita permutation symbol by matte
455. Levy process by juansba
456. Levy-Desplanques theorem by Andrea Ambrosio
457. Lie superalgebra by bci1
458. limit of real number sequence by pahio
459. Lindenmayer system by CWoo
460. Lindstr\"om's theorem by mathcam
461. linear algebra by rmilson
462. linear bounded automaton by CWoo
463. linear continuum by azdbacks4234
464. linear differential equation of first order by pahio
465. linear language by CWoo
466. linear space and near-linear space by kshum
467. linear time invariant system by Mathprof
468. list of all imaginary quadratic extensions whose ring of integers is a PID by rm50
469. local martingale by skubeedooo
470. local Nagano theorem by jirka
471. local properties of processes by gel
472. localization for distributions by drini
473. localization of a module by CWoo
474. locally ringed space by djao
475. locally testable by CWoo
476. locally trivial bundle by mps
477. Loewner chain by jirka
478. logarithm by rmilson
479. logarithmic derivative by rspuzio
480. logarithmic spiral by pahio
481. logicism by gribskoff
482. long division by alozano
483. long exact sequence (locally trivial bundle) by bwebste
484. long line by Dr_Absentius
485. loop and quasigroup by mclase
486. Lorenz equation by Daume
487. lower bound for sorting by stevecheng
488. lowest upper bound by djao
489. Lucas numbers by Mathprof
490. lucky number by PrimeFan
491. manifold by matte
492. Martin's axiom and the continuum hypothesis by Henry
493. martingale by CWoo
494. martingale convergence theorem by gel
495. martingale proof of the Radon-Nikodym theorem by gel
496. mathematical platonism by gribskoff
497. matrices of special form by matte
498. matrix condition number is greater or equal to $1$ by georgiosl
499. matrix exponential by mathcam
500. matrix representation of a linear transformation by CWoo
501. matrix representation of relation composition by Jon Awbrey
502. matrix resolvent properties by Andrea Ambrosio
503. matrix unit by CWoo
504. matroid by mps
505. matroid independence axioms by sgraves
506. maximal condition by mclase
507. maximum flow/minimum cut theorem by bbukh
508. Maxwell's equations by invisiblerhino
509. Mayan math by milogardner
510. mean square deviation by pahio
511. measurability of stopped processes by gel
512. measure by djao
513. measure on a Boolean algebra by CWoo
514. memoryless random variable by CWoo
515. Mercator projection by acastaldo
516. meromorphic extension by Wkbj79
517. minimal condition by mclase
518. minimal polynomial (endomorphism) by mathcam
519. minimal surface by pahio
520. Minkowski functional by Mathprof
521. miracle octad generator by monster
522. modular group by rm50
523. module of finite rank by antizeus
524. modules are a generalization of vector spaces by jgade
525. monad by mathcam
526. monodromy by mathcam
527. monomial by bbukh
528. monotone class theorem by fernsanz
529. Monte Carlo simulation by stevecheng
530. Morita equivalence by CWoo
531. motivation for Euclidean domains by Wkbj79
532. motivation for von Neumann ordinals by yark
533. motivation of definition of constructible numbers by Wkbj79
534. multifunctor by CWoo
535. multiplicative set by djao
536. multiplicity by pahio
537. Munn tree by Mazzu
538. natural numbers are well-ordered by pahio
539. near operators by mathcam
540. neutral geometry by CWoo
541. Niemytzki plane by PrimeFan
542. nil is a radical property by mclase
543. nine-point circle by mathwizard
544. Noetherian topological space by mathcam
545. non-Abelian structures by bci1
546. non-Abelian theory by bci1
547. non-central chi-squared random variable by CWoo
548. non-commutative dynamic modeling diagrams by bci1
549. non-commutative structure by bci1
550. non-commuting graph by GrafZahl
551. non-existence of universal series convergence criterion by pahio
552. non-standard analysis by PrimeFan
553. normal bundle by bwebste
554. normal order by mathcam
555. normed vector space by rspuzio
556. notes on the classical definition of a manifold by rmilson
557. nth root by mathcam
558. number by pahio
559. number theory by olivierfouquetx
560. numerology by CompositeFan
561. O(2) by rspuzio
562. o-minimality by Timmy
563. Ockham algebra by CWoo
564. octic group by Daume
565. octonion by CWoo
566. one-parameter subgroup by CWoo
567. one-sided continuity by series by pahio
568. open set by mathwizard
569. operation by rspuzio
570. operations on relations by CWoo
571. operator norm by asteroid
572. opposite number by pahio
573. ordered group by pahio
574. ordered pair by djao
575. ordered vector space by CWoo
576. ordinal exponentiation by CWoo
577. ordinal space by CWoo
578. organismic supercategories and super-complex systems biodynamics by bci1
579. Ornstein-Uhlenbeck process by stevecheng
580. orthic triangle by drini
581. orthogonal matrices by akrowne
582. orthogonal morphisms by CWoo
583. orthomodular lattice by CWoo
584. outer measure by mathcam
585. P-space by CWoo
586. parabola by mps
587. paracompact topological space by mathcam
588. partial fractions for polynomials by stevecheng
589. partial order by mathcam
590. partially ordered group by CWoo
591. Pascal's triangle by Koro
592. Pasch's theorem by CWoo
593. path integral by slider142
594. pathological by CWoo
595. pencil by CWoo
596. perfect set by mathwizard
597. periodicity of a Markov chain by CWoo
598. permutation matrix by Wkbj79
599. perspectivity by CWoo
600. Pfaff's problem by rspuzio
601. piecewise by CWoo
602. Plancherel's theorem by stevecheng
603. PlanetMath font sandbox by PrimeFan
604. Plato's mathematics by milogardner
605. point finite by yark
606. pointwise by lars_h
607. Poisson ring by rspuzio
608. Pollard's $\rho$ by yark
609. polyadic algebra by CWoo
610. polyadic algebra with equality by CWoo
611. polyadic semigroup by CWoo
612. polynomial ring over a field by pahio
613. positive cone by CWoo
614. positive definite by matte
615. potential theory by rspuzio
616. power of an object by CWoo
617. precategory by CWoo
618. predicativism by gribskoff
619. presentation of a group by rmilson
620. presentations of algebraic objects by CWoo
621. preservation and reflection by CWoo
622. prime spectrum by CWoo
623. primitive by Wkbj79
624. principal components analysis by akrowne
625. probabilistic metric space by CWoo
626. probabilistic proof by Algeboy
627. product measure by djao
628. product of negative numbers by pahio
629. profinite group by djao
630. projective geometry by Algeboy
631. projective line configurations by rspuzio
632. projectivity by CWoo
633. proof of $d\alpha (X,Y) = X(\alpha(Y))$ $-$ $Y(\alpha(X))$ $ -$ $\alpha([X,Y])$ (global coordinate-free) by rspuzio
634. proof of Banach fixed point theorem by asteroid
635. proof of Banach-Tarski paradox by GrafZahl
636. proof of basic theorem about ordered groups by rspuzio
637. proof of basis of ideal in algebraic number field by lalberti
638. proof of Bezout's Theorem by Thomas Heye
639. proof of Carath\'eodory's extension theorem by gel
640. proof of Cayley-Hamilton theorem by formal substitutions by asteroid
641. proof of Cayley-Hamilton theorem in a commutative ring by Mathprof
642. proof of characterization of connected compact metric spaces. by paolini
643. proof of converse of M\"obius transformation cross-ratio preservation theorem by rspuzio
644. proof of Cramer's rule by rmilson
645. proof of Darboux's theorem (symplectic geometry) by rspuzio
646. proof of dominated convergence theorem by rspuzio
647. proof of embedding theorem for ordered abelian groups of rank one by rspuzio
648. proof of example of medial quasigroup by rspuzio
649. proof of expected value of the hypergeometric distribution by mathwizard
650. proof of factor theorem due to Fermat by pahio
651. proof of fourth isomorphism theorem by aoh45
652. proof of fundamental theorem of Galois theory by pbruin
653. proof of Gaussian maximizes entropy for given covariance by Mathprof
654. proof of general Stokes theorem by paolini
655. proof of ham sandwich theorem by Statusx
656. proof of Kolmogorov's strong law for IID random variables by gel
657. proof of Krein-Milman theorem by georgiosl
658. proof of Martingale criterion by karstenb
659. proof of Martingale criterion (continuous time) by karstenb
660. proof of Neumann series in Banach algebras by FunctorSalad
661. proof of parallelogram law by Wkbj79
662. proof of primitive element theorem by alozano
663. proof of properties of the exponential by rspuzio
664. proof of properties of trace of a matrix by Daume
665. proof of properties of universe by rspuzio
666. proof of the uniformization theorem by Simone
667. proof of the weak Nullstellensatz by pbruin
668. proof of Tietze extension theorem by bbukh
669. proof of uniqueness of center of a circle by CWoo
670. proof of variance of the hypergeometric distribution by mathwizard
671. proof that $C_\cup$ and $C_\cap$ are consequence operators by rspuzio
672. proof that $\det e^A = e^{\operatorname{tr}A}$ by cvalente
673. proof that a gcd domain is integrally closed by CWoo
674. proof that Sylvester's matrix equals the resultant by rspuzio
675. proper cone by dooder0001
676. proper generator of a Grothendieck category by bci1
677. properly discontinuous action by Dr_Absentius
678. properties for measure by matte
679. properties of hyperreals under field operations by asteroid
680. properties of $O$ and $o$ by paolini
681. properties of a function by CWoo
682. properties of a gcd domain by CWoo
683. properties of an affine transformation by CWoo
684. properties of arbitrary joins and meets by CWoo
685. properties of bases by CWoo
686. properties of Bernstein polynomial by stitch
687. properties of bijections by CWoo
688. properties of cardinal numbers by gilbert_51126
689. properties of certain monotone functions by CWoo
690. properties of compact spaces by rspuzio
691. properties of direct product by CWoo
692. properties of expected value by Andrea Ambrosio
693. properties of functions by yark
694. properties of group commutators and commutator subgroups by GrafZahl
695. properties of linear independence by CWoo
696. properties of monomorphisms and epimorphisms by kompik
697. properties of non-archimedean valuations by rm50
698. properties of ordinal arithmetic by CWoo
699. properties of ordinals by CWoo
700. properties of orthogonal polynomials by pahio
701. properties of orthogonality on morphisms by CWoo
702. properties of pullback by CWoo
703. properties of quadratic equation by pahio
704. properties of ranks of sets by CWoo
705. properties of Riemann--Stieltjes integral by pahio
706. properties of set difference by CWoo
707. properties of spanning sets by CWoo
708. properties of symmetric difference by CWoo
709. properties of the adjoint operator by Koro
710. properties of the closure operator by matte
711. properties of the exponential by rmilson
712. properties of the Lebesgue integral of Lebesgue integrable functions by Wkbj79
713. properties of the Legendre symbol by alozano
714. properties of well-ordered sets by GrafZahl
715. property B by bbukh
716. property of a Chu space by Henry
717. property of infinite simple group by Algeboy
718. proportion equation by pahio
719. proximal neighborhood by CWoo
720. pseudocomplement by CWoo
721. purely inseparable by mclase
722. quadratic map by Algeboy
723. quantale by CWoo
724. quantifier algebra by CWoo
725. quantum chromodynamics (QCD) by bci1
726. quantum electrodynamics by bci1
727. quantum field theories (QFT) by bci1
728. quantum groupoids by bci1
729. quantum groups by bci1
730. quantum groups and von Neumann algebras by bci1
731. quantum operator algebras in quantum field theories by bci1
732. quasimetric space by mathcam
733. quotient category by CWoo
734. quotient of languages by CWoo
735. quotient space by djao
736. radical theory by mclase
737. Radon-Nikodym theorem by Koro
738. Ramanujan tau function by Wkbj79
739. random graph (infinite) by bbukh
740. rational function by CWoo
741. rational rank of a group by polarbear
742. rational set by CWoo
743. rational transducer by CWoo
744. ray by CWoo
745. ray class field by alozano
746. real number by djao
747. realization of a formula by a truth function by CWoo
748. reciprocal polynomial by rspuzio
749. Red Auxiliary numbers, the first LCM method by milogardner
750. red-black tree by PrimeFan
751. reduced automaton by CWoo
752. regular conditional probability by CWoo
753. regular covering by Dr_Absentius
754. regular language by mps
755. regular open set by CWoo
756. regular space by drini
757. related rates by rmilson
758. relation composition by Jon Awbrey
759. relation on objects by CWoo
760. relation theory by Jon Awbrey
761. relational system by CWoo
762. representable functor by mathcam
763. residuated by CWoo
764. restricted Lie algebra by Algeboy
765. restriction of a continuous mapping is continuous by matte
766. resultant (alternative treatment) by Mathprof
767. reversal by CWoo
768. Reynolds transport theorem by perucho
769. Ricci tensor by rmilson
770. Riemann normal coordinates by rspuzio
771. Riemann zeta function by alozano
772. Riesz group by CWoo
773. rigorous definition of tangent function by rspuzio
774. rigorous definition of the logarithm by rspuzio
775. ring homomorphism by djao
776. RMP 35 to 38 plus RMP 66 by milogardner
777. root (of a tree) by akrowne
778. rotation matrix by matte
779. rules of calculus for derivative of formal power series by rspuzio
780. rules of calculus for derivative of polynomial by rspuzio
781. safe prime by PrimeFan
782. scattered space by CWoo
783. scheme by djao
784. Schinzel's Hypothesis H by jtolliver
785. Schnirelmann density by bbukh
786. second order tensor: symmetric and skew-symmetric parts by rspuzio
787. second proof of Wedderburn's theorem by Mathprof
788. self-similar fractals by paolini
789. semigroup by djao
790. seminorm by rmilson
791. semiotic equivalence relation by Jon Awbrey
792. sesquilinear forms over general fields by Algeboy
793. set by Mathprof
794. set theory by mathwizard
795. sheaf by djao
796. sheaf by archibal
797. sheaf cohomology by mathcam
798. sheafification by archibal
799. shuffle of languages by CWoo
800. sign relation by Jon Awbrey
801. silver rectangle by PrimeFan
802. similarity in geometry by pahio
803. simplicial complex by djao
804. sinc function by mathcam
805. singly even number by CompositeFan
806. skew-Hermitian matrix by matte
807. skew-symmetric matrix by Daume
808. slope of a line is well-defined, proof that the by Dr_Absentius
809. Smarandache function by dankomed
810. solving the Black-Scholes PDE by finite differences by stevecheng
811. some properties of uncountable subsets of the real numbers by sauravbhaumik
812. some structures on $\mathbb{R}^n$ by drini
813. Sorgenfrey half-open plane by rspuzio
814. sorting problem by Logan
815. space of rapidly decreasing functions by matte
816. space-time quantization problems in quantum gravity theories by bci1
817. special elements in a lattice by CWoo
818. spectral values classification by fernsanz
819. spherical derivative by jirka
820. spherical trigonometry by fernsanz
821. spin groups by bci1
822. spin networks and spin foams by bci1
823. spinor by PrimeFan
824. splitting and ramification in number fields and Galois extensions by alozano
825. splitting field by djao
826. square matrix by akrowne
827. square root of positive definite matrix by rspuzio
828. stable sorting algorithm by mathcam
829. stalk by djao
830. standard identity by CWoo
831. star refinement by CWoo
832. stationary process by CWoo
833. Stein manifold by jirka
834. Stirling numbers of the second kind by rmilson
835. Stone-\v{C}ech compactification by rspuzio
836. stopped process by gel
837. structure homomorphism by almann
838. subfield criterion by pahio
839. subfunction by CWoo
840. subgroup of topological group is either clopen or has empty interior by asteroid
841. submanifold by jirka
842. subobject classifier by CWoo
843. substitution by CWoo
844. sum function of series by pahio
845. sum of $\frac{\mu(n)}{n}$ by mathcam
846. sum of powers by CWoo
847. summation by drini
848. supercategory by bci1
849. supercategory theories by bci1
850. supercomputers by bci1
851. superfields, superspace and supergravity by bci1
852. superfluity of the third defining property for finite consequence operator by rspuzio
853. supersolvable group by mclase
854. surreal number by Henry
855. suspension by antonio
856. symmetric difference by CWoo
857. symmetric difference on a finite number of sets by CWoo
858. symplectic vector space by matte
859. syntopogenous structure by CWoo
860. table of addition up to 12 by PrimeFan
861. table of Fourier transforms by CWoo
862. table of Laplace transforms by CWoo
863. table of multiplication up to 12 by PrimeFan
864. tangent plane (elementary) by rspuzio
865. Tarski's axiom by rspuzio
866. Tarski-Knaster theorem by kompik
867. Taylor series by stevecheng
868. Tchebotarev density theorem by djao
869. tensor by rmilson
870. tensor product of algebras by CWoo
871. test for hexagonal numbers by PrimeFan
872. the category of T0 Alexandroff spaces is equivalent to the category of posets by joking
873. the Gr\"ossencharacter associated to a CM elliptic curve by alozano
874. the inclusion of classical into intuitionistic logic by gribskoff
875. the kernel of a group homomorphism is a normal subgroup by alozano
876. theory of algebraic and transcendental numbers by alozano
877. theory of organismic sets and mathematical relations by bci1
878. theory of rational and irrational numbers by alozano
879. there are an infinite number of primes $\equiv 1\mod m$ by rm50
880. time dilatation of a volume element by perucho
881. top ten coolest numbers by rspuzio
882. topic entry on algebra by rspuzio
883. topic entry on complex analysis by pahio
884. topic entry on topology by rm50
885. topics in manifold theory by evin290
886. topics on calculus by alozano
887. topics on ideal class groups and discriminants by alozano
888. topics on vectors by perucho
889. topological invariant by bwebste
890. topological properties of the Sorgenfrey half-open plane by drini
891. topology via converging nets by CWoo
892. torsion (space curve) by rmilson
893. trace forms on algebras by Algeboy
894. trace of a matrix by Daume
895. tractrix by pahio
896. transfinite induction by jihemme
897. transfinite recursion by CWoo
898. transversals / lifts / sifts by Algeboy
899. tree by Logan
900. triadic relation by Jon Awbrey
901. triangle center by mps
902. triangle inequality by drini
903. triangular matrix by Wkbj79
904. trigonometric equations by pahio
905. trigonometric formulas from series by pahio
906. trigonometry by rm50
907. triple cross product by pahio
908. triple scalar product by slider142
909. two hundred thirty-nine by PrimeFan
910. type of a distribution function by CWoo
911. types of homomorphisms by rspuzio
912. types of morphisms by kompik
913. unambiguity of factorial base representation by rspuzio
914. uncertainty theorem by dh2718
915. Uniform Algebra by karstenb
916. uniform neighborhood by CWoo
917. uniformities on a set form a complete lattice by mps
918. uniformly continuous by n3o
919. union by rm50
920. union of countable sets by CWoo
921. uniquely complemented lattice by CWoo
922. uniqueness of additive inverse in a ring by alozano
923. uniqueness of Moebius function by mathcam
924. universal derivation by pbruin
925. universal mapping property by MichaelMcCliment
926. universal Turing machine by tromp
927. universe by archibal
928. upper set by CWoo
929. upper set operation is a closure operator by rspuzio
930. using primitive roots and index to solve congruences by alozano
931. vacuous by matte
932. valuation by djao
933. valuation domain by mathcam
934. values of complex cosine by pahio
935. variable category by bci1
936. variable groupoid by bci1
937. variable network topology by bci1
938. variable topology by bci1
939. vector by rmilson
940. vector lattice by CWoo
941. vector norm by mike
942. vector product in general vector spaces by mathwizard
943. vector-valued function by pahio
944. Verma module by owenjonesuk
945. vibrating string by perucho
946. volume of solid of revolution by pahio
947. von Neumann double commutant theorem by asteroid
948. von Neumann ordinal by Henry
949. Wac\l{}aw Sierpi\'nski by PrimeFan
950. weak Hopf algebra by bci1
951. weak Hopf C*-algebra by bci1
952. weakly compact cardinal by Henry
953. well-founded induction by ratboy
954. well-founded induction on formulas by jihemme
955. Weyl's criterion by bbukh
956. Wiener measure by neldredge
957. winding number by CWoo
958. WLOG by akrowne
959. Zermelo-Fraenkel axioms by mathcam
960. zero matrix by waj
961. zero set of a topological space by CWoo
962. Zeta function of a group by avf
963. Zipf's law by akrowne
964. \'Emile Lemoine by PrimeFan