Не флейма ради, но истины для.
Сам много работал и в одном и другом. Есть одно принципиальное отличие между сабжами, которое на мой взгляд делает НЕВОЗМОЖНЫМ использование сего тулбокса матлаба.
Попробуйте взять неопределенный интеграл от x^n, где x,n символьные переменные.
Матлаб: не поморщившись выдаст x^(n+1)/(n+1)
Максима ответа не выдаст, а задаст ВОПРОС: n+1=0? И пока вы не ответите на этот вопрос, интеграла НЕ БУДЕТ.
А теперь представьте, что вы используете сий пакет по предназначению: например, преобразовываете цепочки важных выражений по несколько метров каждая. У вас нет никакой возможности проверить выполняется ли внутри где-нибудь, что-то аналогичное "n+1=0?". Ну как после этого можно верить результату в матлабовском символик тулбоксе?
ЗЫ: так что все настоящее написано давно и на лиспе.