системы компьютерной алгебры Magma и Sage.

[bdfn]

Не давно узнал о существований систем компьютерной алгебры Magma и Sage. Хотелось бы узнать в чем их преимущество между другими пакета Maple, Mathematica, MATLAB. Можно ли их найти в свободном доступе для скачивания? Лично я в основном пользуюсь Maple.

[ShMaxG]

Список и сравнение систем компьютерной алгебры можно посмотреть здесь: http://en.wikipedia.org/wiki/List_of_co ... ra_systems

[bdfn]

Спасибо за ссылку, но хотелось бы еще узнать мнение тех кто работает в Magma или Sage.

[Portnov]

Интересно, а почему выбор пал именно на эти CAS? Magma малоизвестна, да ещё у неё какая-то замысловатая лицензионная политика. Хотя, допускаю, что эта CAS хороша в своей области.
Sage известна сравнительно хорошо, приходилось пару раз пользоваться. Достоинство — объединяет в себе возможности несколько свободных CAS (Maxima, Axiom итд). Веб-интерфейс — в каких-то случаях достоинство, в каких-то недостаток. По моему опыту, эта штука сравнительно сложна в развёртывании. По-моему, она хороша только когда нужен веб-интерфейс, или когда нужны возможности нескольких CAS сразу, или когда надо запрограммировать что-то, что не умеет ни одна из используемых CAS, на python. В остальных случаях, по-моему, лучше использовать сами эти CAS, если чего-то в них не хватает — дописывать на встроенных языках.

[bdfn]

Дело в том, что в Maple есть функция для проверки совместности и последующего упрощения переопределенной системы полиномиальных дифференциальных уравнений в частных производных это функция rifsimp. К тому же эту возможность реализуют, в какой то мере, дополнительно написанные пакеты SADE и Desolv. Но встречаются ситуации когда в Maple не удается получить желаемого результата. Поэтому у меня возник вопрос, а как решается проблема упрощения переопределенной системы дифференциальных уравнений в других систем компьютерной алгебры. Программы Magma и Sage мне показались наиболее интересными в этом смысле. Можно даже заменить мой вопрос на следующий: Есть ли возможность упрощения переопределенной системы полиномиальных дифференциальных уравнений в частных производных в программах Magma, Sage, Mathematica, Maxima, Mathcad и т.д. И если да, то можите пожалуйста привести пример как это делается или отослать к соотвествующей литературе.

[spyphy]

MAGMA - ПО для решения задач в области абстрактной алгебры (группы, кольца, модули) и не только. Он платный, но есть бесплатный калькулятор http://magma.maths.usyd.edu.au/calc/
MATLAB - для всяких инженерных расчётов.
Есть еще GAP - бесплатный, больше на теорию групп ориентирован.
SAGE по большей части основан на исходниках GAP и других открытых СКА, только другой движок (на Phyton написан).