Coordinate Vector OperationsExplores coordinate vector operations, from digitizing points to transforming and manipulating geometric spaces using coordinates.
Coordinate Change: Chapter 4Explores coordinate changes between polar and Cartesian coordinates, and introduces the spherical coordinate system.
Quantifier Free FormulaCovers the transformation of quantifier free formulas into equisatisfiable formulas and reduction to solve modulo arithmetic.