Hispanopedia WikiEl Programa de Manipulación Simbólica ( SMP ) fue un sistema de álgebra computacional diseñado por Chris A. Cole y Stephen Wolfram en Caltech alrededor de 1979. Inicialmente se desarrolló 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.
Historia
SMP se comercializó por primera vez en 1981 por Computer Mathematics Corporation de Los Ángeles , que posteriormente pasó a formar parte de Inference Corporation . Inference continuó desarrollando el programa y lo comercializó entre 1983 y 1988, pero no tuvo éxito comercial, e Inference se mostró pesimista respecto al mercado de programas de matemáticas simbólicas, por lo que abandonó SMP para concentrarse en sistemas expertos . [ 1 ]
SMP estuvo 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 confiere un "lenguaje consistente 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 más disponibles, junto con Reduce , Macsyma y Scratchpad , [ 5 ] y posteriormente muMATH y Maple . Se utilizaba con frecuencia para la enseñanza del cálculo universitario. [ 6 ]
El diseño del lenguaje interactivo de SMP y sus comandos de "mapa" influyeron en el diseño de la versión de Scratchpad de 1984. [ 7 ]
Recepción
SMP ha sido criticado por varias características, en particular por el uso de números de coma flotante en lugar de números racionales exactos, lo que puede conducir a resultados incorrectos [ 8 ] y dificulta los cálculos del máximo común divisor de polinomios [ 9 ] . Muchos otros problemas de las primeras versiones del sistema supuestamente se corrigieron en versiones posteriores [ 10 ] .
Referencias
- ↑ "Matemáticas computacionales: podrían mejorarse", 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 al Premio Nobel" . Escritos de Wolfram .
- ↑ KO Geddes, SR Czapor, G. Labahn, Algoritmos para álgebra computacional , 1992, ISBN 0792392590págs. 8-9
- ↑ C. Wooff, D. Hodgkinson, muMATH: Un sistema de álgebra para microcomputadoras , 1987, ISBN 0127630708pág. 3
- ↑ Donald B. Small, John M. Hosack, "Sistemas de álgebra computacional, herramientas para reformar la enseñanza del cálculo", en Hacia un cálculo ágil y dinámico , MAA Notes 6 (1986), pág. 143
- ↑ Richard D. Jenks, "Una introducción: 11 claves para el nuevo bloc de notas", EUROSAM 84 , Lecture Notes in Computer Science 174 ISBN 354013350Xpágs. 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ág. 129
- ↑ Richard J. Fateman, "Comentarios sobre SMP", ACM SIGSAM Bulletin 19 :3:5-7 (agosto de 1985) doi : 10.1145/1089411.1089412
Fuentes adicionales
- Chris A. Cole , Stephen Wolfram , "SMP: Un programa de manipulación simbólica", 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: Un programa de manipulación simbólica, Manual de referencia , Instituto Tecnológico de California, 1981; Inference Corporation, 1983. Texto completo
- Stephen Wolfram , "Computación matemática simbólica", Communications of the ACM, abril de 1985 (Volumen 28, Número 4). A pesar del título de apariencia general, el enfoque está en una introducción a la computación matemática simbólica. Versión en línea de este artículo.
- JM Greif, "The SMP Pattern-Matcher" en BF Caviness (editor), Actas de EUROCAL 1985, volumen 2, págs. 303-314, Springer-Verlag Lecture Notes in Computer Science, n.º 204 , ISBN 3-540-15984-3 Un análisis, 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.
- Sistemas de álgebra computacional