Text this: Computerized symbolic manipulation in mechanics