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.