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 'second order logic'
1. analytic hierarchy by Henry
2. Chebyshev equation by mclase
3. circle of curvature by rspuzio
4. class by yark
5. connection between Riccati equation and Airy functions by perucho
6. derivation of Sylvester's matrix for the resultant by rspuzio
7. differential equation by rspuzio
8. divided difference table by rspuzio
9. eigenvalue problem by archibal
10. Einstein field equations by rspuzio
11. foundations of mathematics: overview by gribskoff
12. game-theoretical quantifier by Henry
13. generalized Ito formula by gel
14. hypergeometric equation by rspuzio
15. IF-logic by mathcam
16. logical language by Henry
17. logicism by gribskoff
18. method of undetermined coefficients by CWoo
19. motion of continuum by perucho
20. PA by Henry
21. Poisson's equation by pbruin
22. predicativism by gribskoff
23. proof of arithmetic-geometric means inequality using Lagrange multipliers by stevecheng
24. proof of fundamental theorem of algebra (due to D'Alembert) by rspuzio
25. quantifier by CWoo
26. Schr\"odinger's wave equation by Cosmin
27. Skolemization by Henry
28. Smarandache n-structure by jonnathan
29. solving the wave equation due to D. Bernoulli by pahio
30. spray space by scypa
31. theory of organismic sets and mathematical relations by bci1
32. Wronskian determinant by rspuzio