Сам я не пользовался им, но так просмотрел, вроде неплохой: тем много, каждая тема описывается кратко, но понятно, присутствуют примеры и доказательства, ну вообщем советую посмотреть....
Infinity 1.2.6 - программа для решения систем дифференциальных и алгебраических уравнений. C помощью Infinity вы сможете решить такие задачи, которые не по зубам ни Maple, ни MatLab, ни тем более MathCad. Отличия метода решения систем нелинейных обыкновенных дифференциальных уравнений, реализованного в Infinity, от методов реализованных в других математических пакетах.
Программа вычисляет определитель матрицы, ранг матрицы, находит обратную матрицу, решает систему линейных уравнений. Зачем это все вычислять самим, если есть специальные программы :)....