Text this: Some applications of computerized symbolic manipulation in the analysis of chemical engineering systems.