"Язык аналитических вычислений Reduce." - читать интересную книгу автора (Еднерал В.Ф., Крюков А.П., Родионов А.Я.)