Reduce — бесплатная система компьютерной алгебры общего назначения, имеющая расширенные возможности для применения в физике.

Разработку начал в 1960-е годы , позднее к созданию системы присоединились и другие учёные. Система написана целиком на специально созданном для неё языке Portable Standard Lisp — диалекте Лиспа , включающим, в дополнении к языку со стандартным скобочным лисп-синтаксисом, специальный язык RSL с алголоподобным синтаксисом. RSL используется как основа для пользовательского языка системы.

С декабря 2008 года Reduce стал доступен бесплатно как открытое программное обеспечение под видоизменённой лицензией BSD license на сайте SourceForge , до этого пакет стоил 695 долларов.

Reduce имеет широкий набор средств для проведения аналитических вычислений, численных вычислений и построения графиков. По набору возможностей система близка к таким коммерческим системам как Maple и Mathematica . В то же время она обладает высокой степенью переносимости : она может работать на всех основных современных операционных системах на компьютерах, начиная от наладонных компьютеров , вплоть до самых мощных. Для редактирования научных текстов в Reduce может использоваться программа texmacs , что позволяет экспортировать документы в ряд популярных форматов , включая TeX ( LaTeX ) и HTML ( MathML ).

Доступна на различных платформах Unix , Linux , Microsoft Windows , Apple Macintosh , iOS и Android . Почти все эти реализации основаны на Portable Standard Lisp или .

См. также

• ( англ. )

Примечания

Литература

• Еднерал В. Ф., Крюков А. П., Родионов А. Я. Язык аналитических вычислений REDUCE. — М.: МГУ, 1989. — 176 с.;
• Жарков А.Ю. Язык аналитических вычислений reduce : Учеб. пособие для студентов физ.-мат. спец. / Под ред. А. М. Богомолова. - С.: СГУ, Издательство Саратовского государственного университета, 1990.
• Н. И. Гурин, А. Г. Скоморохов «Аналитические вычисления в системе REDUCE»: Справочное пособие. Минск. «Наука и техника». 1989 г. , 119 с.
• Климов Д. М., Руденко В. М. Методы компьютерной алгебры в задачах механики. — М.: Наука, 1989. — 215 с. ;
• Теоретическая механика. Вывод и анализ уравнений движения на ЭВМ / Под ред. В. Г. Веретенникова.- М.: Высшая школа, 1990. — 174 с.;
• Методы аналитических преобразований в системе виртуальных машин ЕС ЭВМ для задач динамики ЛА / Под ред. проф. А. Г. Сокольского. — М.: МАИ, 1988. — 58 с.
• Программирование на языке R-ЛИСП. — М. — Радио и связь, 1991. — 192 с.

Ссылки

• на сайте SourceForge.net
• Anthony C. Hearn, , February 2004.
• Anthony C. Hearn, , invited paper presented at the A3L Conference in Honor of the 60th Birthday of Volker Weispfenning, April 2005.
• Andrey Grozin, , April 2012.