Система Mathematica предоставляет Вам большие вычислительные возможности, оставаясь при этом такой же простой в использовании, как и калькулятор. Mathematica может оперировать с числами любого размера. На большинстве компьютеров вычисление точного значения 1000! в системе Mathematica занимает менее секунды. Во многих видах вычислений система Mathematica является мировым рекордсменом по скорости вычислений и объему обрабатываемой инфориации.

Mathematica 5 включает важные расширения системы для широкого круга численных и символьных операций Mathematica на основе алгоритмов нового поколения.

Численные расчеты :
- Существенно оптимизирована численная линейная алгебра плотных матриц.
- Новая оптимизированная линейная алгебра разреженных матриц.
- Поддержка оптимизированной линейной алгебры произвольной точности.
- Команда LinearSolveFunction для решения линейных систем уравнений для векторов матриц.
- Поддержка крупномасштабного линейного программирования методами внутренней точки.
- Новые методы и поддержка массивов переменных в командах FindRoot и FindMinimum.
- Команда FindFit для нелинейной аппроксимации кривыми.
- Команда глобальной оптимизации NMinimize.
- Поддержка решения n-мерных уравнений с частными производными в команде NDSolve.
- Поддержка решения алгебраических дифференциальных уравнений в команде NDSolve.
- Поддержка векторов и массивов в команде NDSolve.
- Чрезвычайно широкий набор автоматически вызываемых алгоритмов в команде NDSolve.
- Более высокая точность и контроль точности приближенных чисел.
- Высокая эффективность арифметики больших чисел, включая оптимизацию под конкретный процессор.
- Усиленные алгоритмы для операций в области теории чисел, включая GCD и FactorInteger.
- Прямая поддержка высокопроизводительных основных статистических функций.

Символьные расчеты :
- Решение смешанных систем уравнений и неравенств командой Reduce.
- Полное решение полиномиальных систем в поле действительных и комплексных чисел.
- Решение широкого класса Диофантовых уравнений.
- ForAll и Exists кванторы и кванторное упрощение.
- Представление дискетных и непрерывных алгебраических и трансцендентных множеств решений.
- Команда FindInstance для нахождения примеров решений для различных областей определения переменных.
- Точная минимизация в полях целых и действительных чисел.
- Интегрированная поддержка допущений с помощью функций Assuming и Refine.
- RSolve для решения рекуррентных уравнений.
- Поддержка нелинейных и разностных уравнений и систем.
- Полное решение рациональных систем обыкновенных дифференциальных уравнений.
- Поддержка дифференциальных алгебраических уравнений.
- Команда CoefficientArrays для конвертирования систем уравнений в тензоры.

Оф.сайт: _http://www.wolfram.com/

есть у кого нибудь кряк для 7 версии ???

karp0ne
Подходят кейгены даже от 4-й версии. Думаю, те, что есть на предыдущей странице от 5-й, тоже сгодятся.