stringtranslate.com

SMP (sistema de álgebra computacional)

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

  1. ^ "Matemáticas informáticas: podrían mejorar", The Economist , 4 de noviembre de 1989, pág. 103
  2. ^ Michael Swaine , "¿Está muerto el ciberespacio?", Dr. Dobb's , 1 de julio de 2005
  3. ^ Wolfram, Stephen (21 de enero de 2021). «Tini Veltman (1931–2021): del lenguaje ensamblador a un premio Nobel». Escritos de Wolfram .
  4. ^ KO Geddes, SR Czapor, G. Labahn, Algoritmos para álgebra computacional , 1992, ISBN 0792392590 , pág. 8-9 
  5. ^ C. Wooff, D. Hodgkinson, muMATH: Un sistema de álgebra de microcomputadoras , 1987, ISBN 0127630708 , pág. 3 
  6. ^ 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
  7. ^ 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 
  8. ^ 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 
  9. ^ 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
  10. ^ Richard J. Fateman, "Comentarios sobre SMP", Boletín ACM SIGSAM 19 :3:5-7 (agosto de 1985) doi :10.1145/1089411.1089412

Fuentes adicionales