61:. Inference further developed the program and marketed it commercially from 1983 to 1988, but it was not a commercial success, and Inference became pessimistic about the market for symbolic math programs, and so abandoned SMP to concentrate on
179:
106:
122:
79:
SMP follows a rule-based approach, giving it a "consistent, pattern-directed language". Unlike
Macsyma and Reduce, it was written in
442:
416:
153:
87:
99:
91:
294:
273:
226:
205:
402:
407:
J.M. Greif, "The SMP Pattern-Matcher" in B.F. Caviness (editor), Proceedings of EUROCAL 1985, volume 2, pgs. 303-314,
372:
389:
427:
401:
April 1985 (Volume 28, Issue 4). Despite the general-sounding title the focus is on an introduction to SMP.
105:
The design of SMP's interactive language and its "map" commands influenced the design of the 1984 version of
86:
During the 1980s, it was one of the generally available general-purpose computer algebra systems, along with
422:
31:
17:
125:
problematic. Many other problems in early versions of the system were purportedly fixed in later versions.
238:
Donald B. Small, John M. Hosack, "Computer
Algebra Systems, Tools for Reforming Calculus Instruction", in
118:
80:
58:
158:
419:
A discussion, with examples, of the capabilities, tasks, and design philosophy of the pattern-matcher.
381:
356:
35:
46:
circa 1979. It was initially developed in the
Caltech physics department with contributions from
412:
290:
269:
222:
201:
50:, Jeffrey M. Greif, Eric D. Mjolsness, Larry J. Romans, Timothy Shaw, and Anthony E. Terrano.
338:
314:
16:
This article is about a specific software package. For symbolic computation in general, see
394:
377:
360:
175:
47:
39:
436:
62:
53:
SMP was first sold commercially in 1981, by the
Computer Mathematics Corporation of
121:
instead of exact rational numbers, which can lead to incorrect results, and makes
73:
54:
318:
365:
Proceedings of the fourth ACM symposium on
Symbolic and algebraic computation
342:
388:, California Institute of Technology, 1981; Inference Corporation, 1983.
117:
SMP has been criticized for various characteristics, notably its use of
69:
43:
368:
95:
180:"Tini Veltman (1931–2021): From Assembly Language to a Nobel Prize"
287:
Computer
Algebra: Systems and algorithms for algebraic computation
163:
428:
Stephen
Wolfram's blog post on the history of SMP's creation
68:
SMP was influenced by the earlier computer algebra systems
409:
Springer-Verlag
Lecture Notes in Computer Science, no. 204
258:
Richard D. Jenks, "A Primer: 11 Keys to New
Scratchpad",
386:
102:. It was often used for teaching college calculus.
123:polynomial greatest common divisor calculations
8:
306:Joel Moses, "Macsyma: A personal history",
363:, "SMP: A Symbolic Manipulation Program",
397:, "Symbolic Mathematical Computation",
330:Richard J. Fateman, "Comments on SMP",
285:J.H. Davenport, Y. Siret, E. Tournier,
133:
219:muMATH: A microcomputer algebra system
196:K.O. Geddes, S.R. Czapor, G. Labahn,
7:
140:"Computer maths: could do better",
72:(of which Wolfram was a user) and
14:
264:Lecture Notes in Computer Science
240:Toward a Lean and Lively Calculus
308:Journal of Symbolic Computation
198:Algorithms for Computer Algebra
403:Online version of this article
76:(whose code Wolfram studied).
1:
57:, which later became part of
24:Symbolic Manipulation Program
423:SMP's manual "SMP Handbook"
459:
399:Communications of the ACM,
15:
371:), Snowbird, Utah, 1981.
319:10.1016/j.jsc.2010.08.018
313::123-130 (February 2012)
217:C. Wooff, D. Hodgkinson,
156:, "Is Cyberspace Dead?",
443:Computer algebra systems
144:November 4, 1989, p. 103
343:10.1145/1089411.1089412
32:computer algebra system
18:Computer Algebra System
119:floating-point numbers
337::3:5-7 (August 1985)
59:Inference Corporation
332:ACM SIGSAM Bulletin
178:(21 January 2021).
351:Additional sources
297:, p. 61, footnote
26:, usually called
450:
345:
328:
322:
304:
298:
283:
277:
256:
250:
236:
230:
215:
209:
194:
188:
187:
184:Wolfram Writings
176:Wolfram, Stephen
172:
166:
151:
145:
138:
458:
457:
453:
452:
451:
449:
448:
447:
433:
432:
395:Stephen Wolfram
378:Stephen Wolfram
361:Stephen Wolfram
353:
348:
329:
325:
305:
301:
284:
280:
257:
253:
237:
233:
216:
212:
195:
191:
174:
173:
169:
152:
148:
139:
135:
131:
115:
90:, Macsyma, and
48:Geoffrey C. Fox
40:Stephen Wolfram
21:
12:
11:
5:
456:
454:
446:
445:
435:
434:
431:
430:
425:
420:
405:
392:
375:
352:
349:
347:
346:
323:
299:
278:
251:
231:
210:
189:
167:
154:Michael Swaine
146:
132:
130:
127:
114:
111:
63:expert systems
13:
10:
9:
6:
4:
3:
2:
455:
444:
441:
440:
438:
429:
426:
424:
421:
418:
417:3-540-15984-3
414:
410:
406:
404:
400:
396:
393:
391:
387:
383:
382:Chris A. Cole
379:
376:
374:
370:
366:
362:
358:
357:Chris A. Cole
355:
354:
350:
344:
340:
336:
333:
327:
324:
320:
316:
312:
309:
303:
300:
296:
292:
288:
282:
279:
275:
271:
268:
265:
261:
255:
252:
249:(1986) p. 143
248:
245:
241:
235:
232:
228:
224:
220:
214:
211:
207:
203:
199:
193:
190:
185:
181:
177:
171:
168:
165:
161:
160:
155:
150:
147:
143:
142:The Economist
137:
134:
128:
126:
124:
120:
112:
110:
108:
103:
101:
97:
93:
89:
84:
82:
77:
75:
71:
66:
64:
60:
56:
51:
49:
45:
41:
37:
36:Chris A. Cole
33:
29:
25:
19:
408:
398:
385:
364:
334:
331:
326:
310:
307:
302:
286:
281:
266:
263:
259:
254:
246:
243:
239:
234:
218:
213:
197:
192:
183:
170:
164:July 1, 2005
157:
149:
141:
136:
116:
104:
94:, and later
85:
78:
67:
52:
34:designed by
27:
23:
22:
74:Schoonschip
55:Los Angeles
295:0122042301
276:p. 123-142
274:354013350X
260:EUROSAM 84
227:0127630708
206:0792392590
159:Dr. Dobb's
129:References
107:Scratchpad
92:Scratchpad
390:full text
373:full text
244:MAA Notes
113:Criticism
437:Category
321:, p. 129
289:, 1988,
221:, 1987,
208:, p. 8-9
200:, 1992,
30:, was a
70:Macsyma
44:Caltech
415:
369:SIGSAM
293:
272:
229:, p. 3
225:
204:
96:muMATH
88:Reduce
380:with
100:Maple
413:ISBN
291:ISBN
270:ISBN
223:ISBN
202:ISBN
98:and
38:and
339:doi
315:doi
267:174
42:at
28:SMP
439::
411:,
384:,
359:,
335:19
311:47
262:,
242:,
182:.
162:,
109:.
83:.
65:.
367:(
341::
317::
247:6
186:.
81:C
20:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.