Capstan Effect StudyExplores the capstan effect and presents experiments to validate related equations.
Electromagnetic Waves in PlasmasCovers the behavior of electromagnetic waves in non-magnetized plasmas and the simplification of equations for non-collisional plasmas.
Rotation in Two DimensionsExplores rotation in two dimensions, covering vector products, angular momentum, and kinetic energy of solids.
Quantifier Free FormulaCovers the transformation of quantifier free formulas into equisatisfiable formulas and reduction to solve modulo arithmetic.