Advanced Theoretical Analysis in Chemical Engineering: Computer Algebra and Symbolic Calculations