Где можно скачать мат. пакеты?

[Андрей1]

Если кто не знает, есть такая система компьютерной алгебры MAXIMA: http://maxima.sourceforge.net/

Есть также русско-язычный список рассылки. Русско-язычное LJ сообщество: http://community.livejournal.com/maxima_platform/

А также очень дружный англо-язычный список рассылки.

[K-3]

Вот другие свободные системы компьютерной алгебры:

AXIOM http://savannah.nongnu.org/projects/axiom - система компьютерной алгебры со строгой типизацией

PARI/GP http://pari.math.u-bordeaux.fr/ - система компьютерной алгебры, в первую очередь предназначенная для теоретико-числовых вычислений

[Андрей1]

Может ли кто-нибудь привести плюсы и минусы обоих систем?

Кто из них в данный момент лучше подходит для "боевого" использования на Ваш взгляд?

[zbl]

Андрей1 писал(а):

Может ли кто-нибудь привести плюсы и минусы обоих систем?

MAXIMA:
The use of this software supposedly requires that a fee be paid to DOE NESC, although a README file in the directory isn't exactly crystal clear on that point.
Это я здесь прочитал:
http://stommel.tamu.edu/~baum/linuxlist ... ode31.html

В частности потому и выбрал между ними Axiom.
Ещё в Axiom строготипизированный компилируемый язык.
Это, наверное, для задач вроде теории чисел, где высокая производительность очень нужна важный момент.
Мне самому, правда, это не особо важно.

Андрей1 писал(а):

Кто из них в данный момент лучше подходит для "боевого" использования на Ваш взгляд?

Мне лично Axiom больше подходит по вышеуказанным причинам.
В будущем, однако, планирую перестать использовать CAS в пользу собственного ПО на основе GiNaC.
Дело в том, что мне хотя и нужна сложная математика, но уж очень из разных областей -- ни одна CAS не охватывает всё на свете, а, если кака-то делает то, что нужно в данный момент, то не всегда ей пользоваться так удобно, как хотелось бы.

[enko]

Пожалуйста подскажите, где можно скачать мат. пакеты?

[maxal]

Пользуйтесь свободным софтом - его можно скачивать с официальных сайтов.
Вот, например, SAGE - довольно универсальный пакет, содержащий в себе много других:
http://sagemath.org

[Nxx]

Я попробовал SAGE, но вижу только текстовое приглашение в терминале. Пытался запустить в графическом режиме, но ничего не получается.

[maxal]

Nxx
Графический режим никогда не пробовал, ничего сказать не могу.
Но в текстовом режиме SAGE работает нормально.

[Утундрий]

А что просвещенное собрание могёт посоветовать в тему группового анализа? Что-нибудь типа древнего "Софуса". а то, как-то, начинают поднадоедать однообразные выкладки. Да и бумагу сэкономить хочется )

[maxal]

Утундрий
GAP - Groups, Algorithms, Programming - a System for Computational Discrete Algebra
http://www.gap-system.org/

[sermp]

Ещё есть свободный аналог matlab'а - scilab. Синтаксис похож, скорость работы меньше. http://www.scilab.org/
Плюсы: кросс-платформенность, бесплатность, совместимость с matlab (не полная, но все же).

Минусы: скорость работы (по сравнению с matlab, на счёт других свободных пакетов не знаю), документация, на мой взгляд оставляет желать лучшего.

[maxal]

Если говорить про аналоги матлаба, то еще есть Octave: http://www.gnu.org/software/octave/ синтаксис которого во многом совместим с матлабовским.

[Утундрий]

А в самом-то матлабе эта возможность есть? Понимаю, что звучит анекдотично, но с подобными пакетами до сей поры дела иметь избегал, возможно и безосновательно полагая, что помянутые костыли зело способствовуют тенденции к разучению думкать головой) Однако, когда наши космические корабли бороздят просторы большого театра... в общем, коротко - матлаб может спасти гиганта мысли?

[maxal]

Утундрий
Я не специалист по матлабу, но вроде как позиционируется пакет для численных расчетов. Вам же нужна работа с дискретными объектами, как я понял. Это разного поля ягоды. Хотя, конечно, можно и микроскопом гвозди забивать.

[Утундрий]

Почему дискретными? Стандартный групповой анализ УРЧП нужен. Ну, знаете, когда записывают весь ворох этих линейных ур-й и давай исключать, исключать... до посинения исключать... чтобы в итоге выяснить, что исследуемая система ничего кроме двух-трех гомотопий не допускает Мне, собственно, интересно, в каких современных пакетах (которые в глаза не видел) эта возможность (групповой анализ дифференциальных уравнений) реализована на уровне коленного рефлекса.