Uncategorized pages

Showing below up to 50 results in range #1 to #50.

1. Hamilton's principle
2. Hamilton's principle/Applications/Central force and the Kepler problem
3. Hamilton's principle/Applications/Continuum systems: the vibrating string
4. Hamilton's principle/Applications/Fermat's principle
5. Hamilton's principle/Applications/Geodesics
6. Hamilton's principle/Applications/The brachistochrone
7. Hamilton's principle/Applications/The catenary
8. Hamilton's principle/Applications/The rigid body
9. Hamilton's principle/Chronology
10. Hamilton's principle/Equation index
11. Hamilton's principle/Figure gallery
12. Hamilton's principle/Glossary
13. Hamilton's principle/History/Euler and the Methodus inveniendi
14. Hamilton's principle/History/Feynman 1948
15. Hamilton's principle/History/Hamilton 1834 and 1835
16. Hamilton's principle/History/Jacobi
17. Hamilton's principle/History/Lagrange and the Mecanique analytique
18. Hamilton's principle/History/Least time before least action
19. Hamilton's principle/History/Maupertuis and the 1744 memoir
20. Hamilton's principle/History/Noether 1918
21. Hamilton's principle/History/The Maupertuis-Koenig affair
22. Hamilton's principle/History/d'Alembert and virtual work
23. Hamilton's principle/Notation
24. Hamilton's principle/Sources
25. Lean theorem prover
26. Lean theorem prover/Applications/Machine learning and theorem proving
27. Lean theorem prover/Applications/Physics in Lean
28. Lean theorem prover/Applications/Principia Machina
29. Lean theorem prover/Applications/Research mathematics
30. Lean theorem prover/Applications/Software verification
31. Lean theorem prover/Applications/Teaching with Lean
32. Lean theorem prover/Applications/The Fermat's Last Theorem project
33. Lean theorem prover/Applications/The equational theories project
34. Lean theorem prover/Applications/The polynomial Freiman-Ruzsa conjecture
35. Lean theorem prover/Bibliography
36. Lean theorem prover/Chronology
37. Lean theorem prover/Explainers/Lean and physics
38. Lean theorem prover/Further reading
39. Lean theorem prover/Glossary
40. Lean theorem prover/History/Automath
41. Lean theorem prover/History/LCF and the tactic idea
42. Lean theorem prover/History/Lean 1 to Lean 3
43. Lean theorem prover/History/Lean 4
44. Lean theorem prover/History/Lean since 2023
45. Lean theorem prover/History/Martin-Löf type theory
46. Lean theorem prover/History/Mathlib and its community
47. Lean theorem prover/History/The Calculus of Constructions
48. Lean theorem prover/History/The Liquid Tensor Experiment
49. Lean theorem prover/Notation
50. Lean theorem prover/Sources