Applications of symbol manipulation in theoretical physics