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