JACAL

JACAL - это интерактивная символьная математическая система, которая может оперировать и упрощать уравнения, скаляры, вектора и матрицы с простыми и многомерными значениями, алгебраические выражения, содержащие числа, переменные, радикал, алгебраические дифференциалы и голоморфные функции.

Тип приложения: консольная программа
Сайт разработчика: http://people.csail.mit.edu/jaffer/JACAL.html