SMP (datoralgebrasystem)
Symbolic Manipulation Program , vanligtvis kallat SMP , var ett datoralgebrasystem designat av Chris A. Cole och Stephen Wolfram vid Caltech cirka 1979. Det utvecklades ursprungligen på Caltechs fysikavdelning med bidrag från Geoffrey C. Fox , Jeffrey M. Greif, Eric D. Mjolsness, Larry J. Romans, Timothy Shaw och Anthony E. Terrano.
SMP såldes först kommersiellt 1981 av Computer Mathematics Corporation i Los Angeles , som senare blev en del av Inference Corporation . Inference vidareutvecklade programmet och marknadsförde det kommersiellt från 1983 till 1988, men det blev ingen kommersiell framgång, och Inference blev pessimistisk om marknaden för symboliska matematikprogram, och övergav därför SMP för att koncentrera sig på expertsystem .
SMP påverkades av de tidigare datoralgebrasystemen Macsyma (där Wolfram var en användare) och Schoonschip (vars kod Wolfram studerade).
SMP följer ett regelbaserat tillvägagångssätt, vilket ger det ett "konsekvent, mönsterriktat språk". Till skillnad från Macsyma och Reduce skrevs den i C .
Under 1980-talet var det ett av de allmänt tillgängliga datoralgebrasystemen för allmänt bruk, tillsammans med Reduce , Macsyma och Scratchpad , och senare muMATH och Maple . Det användes ofta för att lära ut högskolekalkyl.
Utformningen av SMP:s interaktiva språk och dess "karta"-kommandon påverkade designen av 1984 års version av Scratchpad .
Kritik
SMP har kritiserats för olika egenskaper, särskilt dess användning av flyttal i stället för exakta rationella tal, vilket kan leda till felaktiga resultat och gör beräkningar av polynomens största gemensamma divisor problematiska. Många andra problem i tidiga versioner av systemet påstås ha fixats i senare versioner.
- ^ "Computer maths: could do better", The Economist 4 november 1989, sid. 103
- ^ Michael Swaine , "Is Cyberspace Dead?", Dr. Dobb's , 1 juli 2005
- ^ Wolfram, Stephen (21 januari 2021). "Tini Veltman (1931–2021): Från församlingsspråk till ett Nobelpris" . Wolframs skrifter .
- ^ KO Geddes, SR Czapor, G. Labahn, Algoritmer för datoralgebra , 1992, ISBN 0792392590 , sid. 8-9
- ^ C. Wooff, D. Hodgkinson, muMATH: A microcomputer algebra system , 1987, ISBN 0127630708 , sid. 3
- ^ Donald B. Small, John M. Hosack, "Datoralgebrasystem, verktyg för att reformera kalkylinstruktion", i Mot en mager och livlig kalkyl , MAA Notes 6 (1986) s. 143
- ^ Richard D. Jenks, "A Primer: 11 Keys to New Scratchpad", EUROSAM 84 , Föreläsningsanteckningar i datavetenskap 174 ISBN 354013350X p. 123-142
- ^ JH Davenport, Y. Siret, E. Tournier, datoralgebra: System och algoritmer för algebraisk beräkning, 1988, ISBN 0122042301 , s. 61, fotnot
- ^ Joel Moses, "Macsyma: A personal history", Journal of Symbolic Computation 47 :123-130 (februari 2012) doi : 10.1016/j.jsc.2010.08.018 , sid. 129
- ^ Richard J. Fateman, "Comments on SMP", ACM SIGSAM Bulletin 19 :3:5-7 (augusti 1985) doi : 10.1145/1089411.1089412
Ytterligare källor
- Chris A. Cole, Stephen Wolfram , "SMP: A Symbolic Manipulation Program", Proceedings of the fourth ACM symposium on Symbolic and algebraic computation ( SIGSAM ), Snowbird, Utah, 1981. fulltext
- Stephen Wolfram med Chris A. Cole, SMP: A Symbolic Manipulation Program, Reference Manual , California Institute of Technology, 1981; Inference Corporation, 1983. fulltext
- Stephen Wolfram , "Symbolic Mathematical Computation", Communications of the ACM, april 1985 (Volume 28, Issue 4). Trots den allmänt klingande titeln ligger fokus på en introduktion till SMP. Onlineversion av denna artikel
- JM Greif, "The SMP Pattern-Matcher" i BF Caviness (redaktör), Proceedings of EUROCAL 1985, volym 2, sid. 303-314, Springer-Verlag Lecture Notes in Computer Science, nr. 204 , ISBN 3-540-15984-3 En diskussion, med exempel, av mönstermatcharens förmågor, uppgifter och designfilosofi.
- SMP:s manual "SMP Handbook"
- Stephen Wolframs blogginlägg om historien om SMP:s skapelse