Computerized symbolic manipulation in mechanics | lit.salon