MCS 563: Analytic Symbolic Computation