Macsyma ( / ˈ m æ k s ɪ m ə / ; «Символический МАнипулятор Project MAC») [1] — одна из старейших систем компьютерной алгебры общего назначения , которые до сих пор широко используются. Первоначально он разрабатывался с 1968 по 1982 год в рамках проекта MAC Массачусетского технологического института .
В 1982 году лицензия Macsyma была передана компании Symbolics , и она стала коммерческим продуктом. В 1992 году компания Symbolics Macsyma была выделена компании Macsyma, Inc., которая продолжала развивать Macsyma до 1999 года. Эта версия все еще доступна для операционной системы Microsoft Windows XP .
Версия Macsyma Массачусетского технологического института 1982 года оставалась доступной для ученых и правительственных учреждений США и распространяется Министерством энергетики США (DOE). Эта версия, DOE Macsyma, поддерживалась Биллом Шелтером . Под именем Maxima она была выпущена под лицензией GPL в 1999 году и до сих пор активно поддерживается.
Проект был инициирован в июле 1968 года Карлом Энгельманом , [2] Уильямом А. Мартином (внешний интерфейс, отображение выражений, полиномиальная арифметика) и Джоэлом Мозесом (упрощение, неопределенное интегрирование : эвристика/Риш). Мартин руководил проектом до 1971 года, а Мозес руководил им в течение следующего десятилетия. Энгельман и его сотрудники ушли в 1969 году, чтобы вернуться в корпорацию MITRE . [1] Некоторый код был взят из более ранних работ, в частности, из упростителя Кнута Корсволда. [3] [4] Позже основными участниками основного математического движка были: [5] Яннис Августис ( специальные функции ), Дэвид Бартон (решение алгебраическихсистемы уравнений ), Ричард Боген ( специальные функции ), Билл Дюбук ( неопределенная интеграция , пределы, степенные ряды, теория чисел , специальные функции , функциональные уравнения, сопоставление с образцом , знаковые запросы, Gröbner , TriangSys), Ричард Фейтман ( рациональные функции , образец сопоставление , произвольная точность с плавающей запятой ), Майкл Дженесерет (сравнение, база знаний), Джефф Голден (упрощение, язык, система), Р.В. Госпер (определенное суммирование , специальные функции, упрощение, теория чисел ), Карл Хоффман (общий упрощающий, макросы, некоммутативный упрощающий, порты на Multics и LispM , система, редактор визуальных уравнений ), Чарльз Карни (черчение), Джон Калп, Эд Лафферти ( решение ОДУ , специальные функции ), Ставрос Макракис ( действительные/мнимые части , компилятор, система), Ричард Павель (начальное тензорное исчисление , пакет общей теории относительности , обыкновенные дифференциальные уравнения и уравнения в частных производных ), Дэвид А. Спир ( Грёбнер ), [6] [7] Барри Трейгер ( алгебраическое интегрирование,[8] факторинг , Грёбнер [9] ), Пол С. Ван (полиномиальная факторизация и НОД , комплексные числа , пределы, определенная интеграция , генерация кода на Фортране и LaTeX ), Дэвид Ю.Й. Юн (полиномиальные НОД ), Гейл Захариас ( Грёбнер ) [ 9] [10] и Рича Циппеля ( степенные ряды , полиномиальная факторизация , теория чисел , комбинаторика ).
Macsyma был написан на Maclisp и в некоторых случаях был ключевым мотиватором для улучшения этого диалекта Lisp в области численных вычислений, эффективной компиляции и разработки языка. Сам Maclisp работал в основном на компьютерах PDP-6 и PDP-10 , а также на ОС Multics и на архитектурах Lisp Machine . Macsyma была одной из самых больших, если не самой большой, программ на Лиспе того времени.