Basic

Statistics

Metric	Count
Definitions `RigidBody`, `RotatingFrame`, `angular_momentum_about_point`, `angular_velocity_is_well_defined`, `asymmetrical_top`, `centerOfMass`, `center_of_mass_point_moves_as_particle`, `coordinate_system`, `decomposition_of_motion`, `euler_equations`, `inertiaTensor`, `intermediate_axis_instability`, `kineticEnergy`, `kinetic_energy_decomposition`, `mass`, `parallel_axis_theorem`, `principal_axes_of_inertia`, `principal_axes_of_inertia_bound`, `reduction_to_two_body`, `rigid_body_dof`, `rigid_body_work_and_power`, `rotating_frame_derivative`, `rotational_equation_inertial`, `small_oscillations_about_equilibrium`, `spherical_top`, `steady_rotation_conditions`, `symmetrical_top`, `translational_equation_inertial`, `transport_law_for_angular_momentum`, `transport_law_for_momentum`, `transport_law_inertial_rotating`, `velocity_decomposition`, `ρ`	33
Theorems `inertiaTensor_symmetric`	1
Total	34

Name	Category	Theorems
`RotatingFrame` 📖	CompOp	—
`angular_momentum_about_point` 📖	CompOp	—
`angular_velocity_is_well_defined` 📖	CompOp	—
`asymmetrical_top` 📖	CompOp	—
`centerOfMass` 📖	CompOp	1 math math: `solidSphere_centerOfMass`
`center_of_mass_point_moves_as_particle` 📖	CompOp	—
`coordinate_system` 📖	CompOp	—
`decomposition_of_motion` 📖	CompOp	—
`euler_equations` 📖	CompOp	—
`inertiaTensor` 📖	CompOp	2 math math: `solidSphere_inertiaTensor`, `inertiaTensor_symmetric`
`intermediate_axis_instability` 📖	CompOp	—
`kineticEnergy` 📖	CompOp	—
`kinetic_energy_decomposition` 📖	CompOp	—
`mass` 📖	CompOp	1 math math: `solidSphere_mass`
`parallel_axis_theorem` 📖	CompOp	—
`principal_axes_of_inertia` 📖	CompOp	—
`principal_axes_of_inertia_bound` 📖	CompOp	—
`reduction_to_two_body` 📖	CompOp	—
`rigid_body_dof` 📖	CompOp	—
`rigid_body_work_and_power` 📖	CompOp	—
`rotating_frame_derivative` 📖	CompOp	—
`rotational_equation_inertial` 📖	CompOp	—
`small_oscillations_about_equilibrium` 📖	CompOp	—
`spherical_top` 📖	CompOp	—
`steady_rotation_conditions` 📖	CompOp	—
`symmetrical_top` 📖	CompOp	—
`translational_equation_inertial` 📖	CompOp	—
`transport_law_for_angular_momentum` 📖	CompOp	—
`transport_law_for_momentum` 📖	CompOp	—
`transport_law_inertial_rotating` 📖	CompOp	—
`velocity_decomposition` 📖	CompOp	—
`ρ` 📖	CompOp	—

Name	Kind	Assumes	Proves	Validates	Depends On
`inertiaTensor_symmetric` 📖	mathematical	—	`inertiaTensor`	—	—

Name	Category	Theorems
`RigidBody` 📖	CompData	—

---