Reduce

Reduce
Тип	Система компьютерной алгебры
Разработчик	Энтони Хёрн с коллегами
Написана на	Лисп
Операционная система	Cross-platform
Последняя версия	April 14, 2011
Лицензия	BSD license
Сайт	reduce-algebra.com

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 или Codemist Standard Lisp.

См. также

• Список программ системы компьютерной алгебры (англ. List of computer algebra systems)

Литература

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

Ссылки

• Проект Reduce на сайте SourceForge.net
• Reduce SourceForge project page.
• Reduce wiki on SourceForge.
• Tony Hearn’s Reduce website.
• Anthony C. Hearn, Reduce User’s Manual Version 3.8, February 2004. In HTML format.
• Anthony C. Hearn, «Reduce: The First Forty Years», invited paper presented at the A3L Conference in Honor of the 60th Birthday of Volker Weispfenning, April 2005.
• Andrey Grozin, «TeXmacs-Reduce interface», April 2012.