Символическое Manipulation Program , как правило , называется SMP , была система компьютерной алгебры разработана Крисом А. Коул и Стивен Вольфрам в Caltech около 1979. Первоначально она была разработана в отделе физики Калифорнийского технологического института с вкладами от Джеффри С. Фокс , Джеффри М. Грейфа, Эрик Д. Мьолснесс, Ларри Дж. Романс, Тимоти Шоу и Энтони Э. Террано.
Впервые SMP был продан коммерчески в 1981 году компанией Computer Mathematics Corporation из Лос-Анджелеса , которая позже стала частью Inference Corporation . Inference доработал программу и продавал ее на коммерческом рынке с 1983 по 1988 год, но это не имело коммерческого успеха, и Inference стал пессимистично оценивать рынок символьных математических программ и поэтому отказался от SMP, чтобы сосредоточиться на экспертных системах . [1]
На SMP повлияли более ранние системы компьютерной алгебры Macsyma (пользователем которой был Вольфрам) и Schoonschip (чей код изучал Вольфрам). [2] [3]
SMP следует подходу, основанному на правилах, что дает ему «последовательный язык, ориентированный на шаблоны». В отличие от Macsyma и Reduce, она была написана на C . [4]
В течение 1980-х годов это была одна из общедоступных систем компьютерной алгебры общего назначения, наряду с Reduce , Macsyma и Scratchpad , [5] и позже muMATH и Maple . Его часто использовали для обучения математическому анализу в колледжах. [6]
Дизайн интерактивного языка SMP и его команд "карты" повлияли на дизайн версии 1984 года Scratchpad . [7]
Критика [ править ]
SMP критиковали за различные характеристики, в частности за использование чисел с плавающей запятой вместо точных рациональных чисел, что может привести к неверным результатам [8] и затрудняет вычисление полиномиального наибольшего общего делителя . [9] Многие другие проблемы в ранних версиях системы были якобы исправлены в более поздних версиях. [10]
Ссылки [ править ]
- ^ "Компьютерная математика: могла бы быть лучше", The Economist 4 ноября 1989 г., стр. 103
- ^ "Киберпространство мертво?" от Michael Swaine , 01 июля 2005 года.
- ↑ Вольфрам, Стивен (21 января 2021 г.). «Тини Вельтман (1931–2021): от языка ассемблера к Нобелевской премии» . Письма Вольфрама .
- ^ KO Геддес, SR Czapor, Г. Labahn, алгоритмы компьютерной алгебры , 1992, ISBN 0792392590 , стр. 8-9
- ^ C. Wooff, D. Hodgkinson, muMATH: система микрокомпьютерной алгебры , 1987, ISBN 0127630708 , стр. 3
- ^ Дональд Б. Малый, Джон М. Hosack, «Компьютерная алгебра система, инструменты для реформирования Calculus Инструкции», в пути к Lean и Лайвле исчислению , MAA Notes 6 (1986) р. 143
- ^ Ричард Д. Дженкс, «Букварь: 11 ключей к новому блокноту», EUROSAM 84 , Лекционные заметки по компьютерным наукам 174 ISBN 354013350X стр. 123-142
- ^ JH Дэвенпорт, Y. Сирет, Э. Турнье, Компьютерная алгебра: системы и алгоритмы для алгебраических вычислений , 1988, ISBN 0122042301 , стр. 61, сноска
- ↑ Joel Moses, «Macsyma: A Personal History», Journal of Symbolic Computing 47 : 123-130 (февраль 2012 г.) ‹См. Tfd› doi : 10.1016 / j.jsc.2010.08.018 , p. 129
- ^ Ричард Дж. Фейтман, "Комментарии к SMP", Бюллетень ACM SIGSAM 19 : 3: 5-7 ‹См. Tfd› doi : 10.1145 / 1089411.1089412
Дополнительные источники [ править ]
- Крис А. Коул , Стивен Вольфрам , «SMP: программа символьного манипулирования», Труды четвертого симпозиума ACM по символьным и алгебраическим вычислениям ( SIGSAM ), Snowbird, Utah, 1981. полный текст
- Стивен Вольфрам и Крис А. Коул , SMP: программа символического манипулирования, Справочное руководство , Калифорнийский технологический институт, 1981; Inference Corporation, 1983. полный текст
- Стивен Вольфрам , "Символьные математические вычисления", Сообщения ACM, апрель 1985 г. (том 28, выпуск 4). Несмотря на звучное название, основное внимание уделяется введению в SMP. Онлайн-версия этой статьи
- Дж. М. Грейф, "Соответствие шаблонов SMP" в BF Caviness (редактор), Proceedings of EUROCAL 1985, том 2, стр. 303-314, Конспект лекций Springer-Verlag по информатике, вып. 204 , ISBN 3-540-15984-3 Обсуждение с примерами возможностей, задач и философии проектирования устройства сопоставления с образцом.
- Руководство SMP "Справочник SMP"
- Сообщение в блоге Стивена Вольфрама об истории создания SMP
