"REDUCE" для всех

[Софус]

Относительно книг по REDUCE на русском:
1. Еднерал В.Ф., Крюков А.П., Родионов А.Я. Язык аналитических вычислений REDUCE. - М.: МГУ, 1989. - 176 с.;
2. Климов Д.М., Руденко В.М. Методы компьютерной алгебры в задачах механики. - М.: Наука, 1989. - 215 с. ;
3. Теоретическая механика. Вывод и анализ уравнений движения на ЭВМ/Под ред. В.Г.Веретенникова.- М.: Высшая школа, 1990. - 174 с.;
4. Методы аналитических преобразований в системе виртуальных машин ЕС ЭВМ для задач динамики ЛА / Под ред. проф. А.Г. Сокольского. - М.: МАИ, 1988. - 58 с.
5. Программирование на языке R-ЛИСП. - М. - Радио и связь, 1991. - 192 с.
6. Дэвенпорт Дж. и др. Компьютерная алгебра. - М. Мир, 1991. - 352 с.

Полностью разделяю мнение о том, что REDUCE незаслуженно забыт... Например, вычисления, связанные с внешними дифференциальными системами (дифференцильные формы, производные Ли и т.д.) с использованием пакетов EXCALC, EDS, CRACK в системе REDUCE превосходят соответствующие аналоги в MAPLE и MAtematica.

[amv]

С 1 января REDUCE - свободная программа!

http://groups.google.com/group/sci.math ... f1389a90db
http://reduce-algebra.sourceforge.net
http://reduce-algebra.com/downloading.htm

[Mottle]

Доброе время суток!
Вот решил попробывать поработать в Reduce, пока получается слабо. Прошу знатоков помочь.
Задача следующая. Есть уравнение

F_e \phi_e - F_w \phi_w = D_e \left( \phi_E-\phi_P \right) - D_w \left( \phi_P-\phi_W \right).

Его необходимо преобразовать к виду

a_P \phi_P = a_W \phi_W + a_E \phi_E,
при условии что \phi_e=\frac{\phi_P+\phi_E}{2};\quad \phi_w=\frac{\phi_P+\phi_W}{2} и a_P= a_W + a_E + \left( F_e - F_w \right).

Иными словами нужно опредилить коэффициенты a_W и a_E.
Дальше команды sub у меня дела на продвинулись.

P.S. Пример из метода контрольных объемов, как многие догадались

[amv]

32 и 64 битные psl-версии 3.8 для linux'а
http://www.zib.de/Symbolik/reduce/R38Linux.tgz

[alien308]

По давнему опыту REDUCE - мощная система. Еще под DOS можно было нормально работать. Потом свободного REDUCE не стало.