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 'sequent'
1. Abel summability by rmilson
2. Aristotelian logic by Daume
3. Aristotle by Daume
4. axiom by rmilson
5. Baire category theorem by Koro
6. beyond formalism: G\"{o}del's incompleteness by gribskoff
7. Bourbaki, Nicolas by Daume
8. cardinality of monomials by rspuzio
9. Cayley's parameterization of orthogonal matrices by rspuzio
10. center of gravity of circular sector by curious
11. chain finite by lars_h
12. characteristic values and vectors (of a matrix) by perucho
13. characterization of almost convex functions by rspuzio
14. characterization of ordered groups of rank one by rspuzio
15. consequence operator by rspuzio
16. continuous functional calculus by asteroid
17. contractive maps are uniformly continuous by mathcam
18. convergence of the sequence (1+1/n)^n by kfgauss70
19. converse by pahio
20. convex subgroup by CWoo
21. corollaries of basic theorem on ordered groups by rspuzio
22. curl by rspuzio
23. deductions are $\Delta_1$ by mathcam
24. derivation of Sylvester's matrix for the resultant by rspuzio
25. differential geometry by rspuzio
26. Dirichlet's approximation theorem by Koro
27. discriminant by rspuzio
28. economic context of Egyptian fractions by milogardner
29. Egyptian multiplication and division by milogardner
30. eigenvalues of stochastic matrix by Andrea Ambrosio
31. Engel's theorem by rmilson
32. Euler-Lagrange differential equation (elementary) by rspuzio
33. example of construction of a Schauder basis by perucho
34. example of false implies true by Algeboy
35. finite game by PrimeFan
36. first order operators in Riemannian geometry by rmilson
37. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
38. function continuous at only one point by Andrea Ambrosio
39. fundamental concepts in differential geometry by rspuzio
40. golden ratio by Mathprof
41. Hadamard three-circle theorem by bbukh
42. harmonic oscillator by perucho
43. Harnack theorem by perucho
44. Hofstadter's MIU system by Daume
45. how to multiply polynomials by Algeboy
46. Hultsch-Bruins method by milogardner
47. hyperbolic set by Koro
48. hyperplane separation by stevecheng
49. inference rule by rspuzio
50. integer contraharmonic means by pahio
51. intersection by CWoo
52. intuitionistic logic by gribskoff
53. inverse statement by Wkbj79
54. Julius K\"onig by WM
55. Kahun Papyrus and Arithmetic Progressions by milogardner
56. Kolmogorov's martingale inequality by stevecheng
57. Lagrange multipliers on manifolds by stevecheng
58. Lazear model of a private school by Mathprof
59. lecture notes on determinants by rmilson
60. lecture notes on the Cayley-Hamilton theorem by rmilson
61. Lie algebra by djao
62. logicism by gribskoff
63. mathematics vocabulary by matte
64. modus ponens by CWoo
65. modus tollens by rspuzio
66. monodromy theorem by rspuzio
67. more examples of primitive recursive functions by CWoo
68. mountain pass theorem by ncrom
69. Napoleon's theorem by drini
70. natural deduction by Henry
71. near operators by mathcam
72. negative number by PrimeFan
73. non-constant element of rational function field by pahio
74. orthogonality of Chebyshev polynomials from recursion by rspuzio
75. paradox by Wkbj79
76. partial fractions of expressions and partition problems (recreational) by rspuzio
77. Penrose's first G\"odelian argument by dankomed
78. Penrose's second G\"odelian argument by dankomed
79. proof of algebraic independence of elementary symmetric polynomials by lalberti
80. proof of Chernoff-Cramer bound by Andrea Ambrosio
81. proof of divergence of harmonic series (by splitting odd and even terms) by rspuzio
82. proof of dominated convergence theorem by rspuzio
83. proof of embedding theorem for ordered abelian groups of rank one by rspuzio
84. proof of Hartman-Grobman theorem by Koro
85. proof of Ingham Inequality by ncrom
86. proof of monotonicity criterion by paolini
87. proof of quadratic reciprocity rule by mathcam
88. proof of Schwarz lemma by Mathprof
89. proof of Stone-Weierstrass theorem by rspuzio
90. proof of Van Aubel's theorem by mathcam
91. proof that Sylvester's matrix equals the resultant by rspuzio
92. proposed elementary proof of Fermat's last theorem by Mathprof
93. quantum automata and computation by bci1
94. Rayleigh-Ritz theorem by gufotta
95. reduced automaton by CWoo
96. reductio ad absurdum by gribskoff
97. remainder arithmetic vs Egyptian fractions by milogardner
98. RMP 35 to 38 plus RMP 66 by milogardner
99. RMP 53, 54, 55 by milogardner
100. Simpson's paradox by CWoo
101. squeeze rule by Daume
102. stability of transfer functions in the Laplace domain by rrogers
103. strong AI thesis by dankomed
104. Sun's conjecture on sums of primes and triangular numbers by PrimeFan
105. things counted by the Catalan numbers by rm50
106. unambiguity of factorial base representation by rspuzio
107. Van Kampen's theorem by RonaldBrown
108. vector identities by mark_t314159