Title: Computerized Symbolic Manipulation in Mechanics