Symbolic Manipulation Program とは

1979年にCaltechでChris A. ColeとStephen Wolframによって設計されたコンピューター代数システムで、最初はWolframのリーダーシップの下、Caltech物理学科でジェフリー・C・フォックス、ジェフリー・M・グレイフ、エリックD. Mjolsness、ラリーJ.ローマン、ティモシーショー、アンソニーE.テラノ。それは1981年にコンピュータ・マテミックス・コーポレーション(後に推論社の一部となった)のロサンゼルスで最初に販売された。推論社はこのプログラムをさらに開発し、1983年から1988年に商業的に販売しました.SMPは本質的により野心的なMathematicaシステムのバージョンゼロです。
SMPは以前のコンピュータ代数システムMacsyma(そのうちのWolframはユーザー)とSchoonschip(Wolframが研究したコード)の影響を受けました。