Title: Practical Applications of Symbolic Computation