"Символьные вычисления на языке REDUCE для задач механики" - читать интересную книгу автора (Руденко В.М. )