El Programa de Manipulación Simbólica , usualmente llamado SMP , fue un sistema de álgebra computacional diseñado por Chris A. Cole y Stephen Wolfram en Caltech alrededor de 1979. Fue desarrollado inicialmente en el departamento de física de Caltech con contribuciones de Geoffrey C. Fox , Jeffrey M. Greif, Eric D. Mjolsness, Larry J. Romans, Timothy Shaw y Anthony E. Terrano.
SMP se comercializó por primera vez en 1981 por la Computer Mathematics Corporation de Los Ángeles , que más tarde pasó a formar parte de Inference Corporation . Inference siguió desarrollando el programa y lo comercializó entre 1983 y 1988, pero no fue un éxito comercial e Inference se volvió pesimista sobre el mercado de programas de matemáticas simbólicas, por lo que abandonó SMP para concentrarse en sistemas expertos . [1]
SMP fue influenciado por los sistemas de álgebra computacional anteriores Macsyma (del cual Wolfram era usuario) y Schoonschip (cuyo código estudió Wolfram). [2] [3]
SMP sigue un enfoque basado en reglas, lo que le otorga un "lenguaje coherente y orientado a patrones". A diferencia de Macsyma y Reduce, fue escrito en C. [4 ]
Durante la década de 1980, fue uno de los sistemas de álgebra computacional de propósito general disponibles, junto con Reduce , Macsyma y Scratchpad [5] y, más tarde, muMATH y Maple . Se utilizó a menudo para enseñar cálculo universitario. [6]
El diseño del lenguaje interactivo de SMP y sus comandos "mapa" influyeron en el diseño de la versión de 1984 de Scratchpad . [7]
Crítica
El SMP ha sido criticado por varias características, en particular su uso de números de punto flotante en lugar de números racionales exactos, lo que puede llevar a resultados incorrectos, [8] y hace que los cálculos del máximo común divisor de polinomios sean problemáticos. [9] Muchos otros problemas en las primeras versiones del sistema supuestamente se solucionaron en versiones posteriores. [10]
Referencias
- ^ "Matemáticas informáticas: podrían mejorar", The Economist , 4 de noviembre de 1989, pág. 103
- ^ Michael Swaine , "¿Está muerto el ciberespacio?", Dr. Dobb's , 1 de julio de 2005
- ^ Wolfram, Stephen (21 de enero de 2021). «Tini Veltman (1931–2021): del lenguaje ensamblador a un premio Nobel». Escritos de Wolfram .
- ^ KO Geddes, SR Czapor, G. Labahn, Algoritmos para álgebra computacional , 1992, ISBN 0792392590 , pág. 8-9
- ^ C. Wooff, D. Hodgkinson, muMATH: Un sistema de álgebra de microcomputadoras , 1987, ISBN 0127630708 , pág. 3
- ^ Donald B. Small, John M. Hosack, "Sistemas de álgebra computacional, herramientas para reformar la enseñanza del cálculo", en Toward a Lean and Lively Calculus , MAA Notes 6 (1986), pág. 143
- ^ Richard D. Jenks, "Una introducción: 11 claves para el nuevo Scratchpad", EUROSAM 84 , Apuntes de clase sobre informática 174 ISBN 354013350X pág. 123-142
- ^ JH Davenport, Y. Siret, E. Tournier, Álgebra informática: sistemas y algoritmos para el cálculo algebraico , 1988, ISBN 0122042301 , pág. 61, nota al pie
- ^ Joel Moses, "Macsyma: una historia personal", Journal of Symbolic Computation 47 :123-130 (febrero de 2012) doi :10.1016/j.jsc.2010.08.018, p. 129
- ^ Richard J. Fateman, "Comentarios sobre SMP", Boletín ACM SIGSAM 19 :3:5-7 (agosto de 1985) doi :10.1145/1089411.1089412
Fuentes adicionales
- Chris A. Cole, Stephen Wolfram , "SMP: A Symbolic Manipulation Program", Actas del cuarto simposio de la ACM sobre computación simbólica y algebraica ( SIGSAM ), Snowbird, Utah, 1981. Texto completo
- Stephen Wolfram con Chris A. Cole, SMP: A Symbolic Manipulation Program, Manual de referencia , Instituto Tecnológico de California, 1981; Inference Corporation, 1983. texto completo
- Stephen Wolfram , "Symbolic Mathematical Computation", Communications of the ACM, abril de 1985 (volumen 28, número 4). A pesar del título que suena general, el artículo se centra en una introducción a SMP. Versión en línea de este artículo
- JM Greif, "The SMP Pattern-Matcher" en BF Caviness (editor), Proceedings of EUROCAL 1985, volumen 2, págs. 303-314, Springer-Verlag Lecture Notes in Computer Science, no. 204 , ISBN 3-540-15984-3 Una discusión, con ejemplos, de las capacidades, tareas y filosofía de diseño del comparador de patrones.
- Manual de SMP "Manual de SMP"
- Entrada del blog de Stephen Wolfram sobre la historia de la creación de SMP