Mathematics of Symbolic Computation (Math 577, Section 3)