PhyslibSearch
Physlib
by
Docs
Browse
physlib.io ↗
Browse
›
Physlib
›
ClassicalMechanics
Theorem
Definition
Structure
Inductive
Class
Instance
Abbrev
Axiom
Opaque
Proof Wanted
Physlib.ClassicalMechanics
0 declarations · 11 submodules
Submodules
DampedHarmonicOscillator
58
EulerLagrange
4
FreeParticle
10
HamiltonsEquations
4
HarmonicOscillator
164
Lagrangian
8
Mass
31
OrbitalMechanics
2
Pendulum
135
RigidBody
90
WaveEquation
25
Feedback