El Macsyma es un sistema de la álgebra de la computadora que fue desarrollado 1968 al 1982 en MIT como parte del MAC del proyecto y puesto original más adelante comercialmente. Era el primer sistema simbólico comprensivo de las matemáticas y uno de los sistemas basados en el conocimiento más temprano muchas de sus ideas fue adoptado más adelante por el Mathematica, el arce, y otros sistemas.
Desarrollo
El proyecto fue iniciado en julio de 1968 cerca Carl Engelman, Guillermo A. Martin (partes frontales, exhibición de la expresión, aritmética polinómica) y Joel Moses integración de (más simplifier, indefinido: heurístico/Risch). Bill Martin estaba a cargo del proyecto hasta que 1971, y Moses lo funcionara para la década próxima. Engelman y el suyo proveen de personal a la izquierda en 1969 para volver al El MITRE Corporation . Contribuidores importantes posteriores al motor de las matemáticas de la base eran: ¡ Yannis Avgoustis (funciones especiales), David Barton (algsys), Richard Bogen (funciones especiales), Bill Dubuque (límites, Grobner, TriangSys, integración indefinida: Bronstein, serie de energía, teoría de número, funciones especiales, ecuaciones funcionales, adaptación de modelos, preguntas de la muestra), Richard Fateman (funciones racionales, precisión de adaptación de modelos, arbitraria flotante), Michael Genesereth (comparación, base de datos del conocimiento), Jeff de oro (más simplifier, lengua, sistema), R. Gosper (adición definida, funciones especiales), Charles Karney (trazado), Juan Kulp, Ed Lafferty (solución de la ODA, funciones especiales), Stavros piezas verdaderas/imaginarias de Macrakis (, sistema), Barry Trager (integración algebraica, el descomponer en factores, Grobner), Paul Wang (facturización polinómica, límites, integración definida), YUN de David Y., Gail Zacharias (Grobner), y Zippel rico (serie de energía, facturización polinómica, teoría de número, combinatoria). ¡motor de la MATEMÁTICAS de la base labran 1982. Debe probablemente haber una categoría separada para el sistema/balbucea los contribuidores tales como JonL, RLB, RWK, KMP, JPG, GLS, RWK, REH. Quizás también para los contribuidores de menor importancia (si son tan claramente distinguida de contribuidores importantes). Probablemente aún no terminar pero mucho más cerca que antes. --wgd --> ¡párrafo real? Si el anterior, de que no es cómo el wikimarkup hace listas en absoluto. -->Macsyma fue escrito en el Maclisp, y era, en algunos casos, un motivador dominante para mejorar ese dialecto balbucea en las áreas de la computación numérica, de la compilación eficiente y del diseño de la lengua. Maclisp sí mismo funcionó sobre todo en el PDP-6 y las computadoras de PDP-10, pero también en el OS de Multics y en el balbucean las arquitecturas de la máquina . Macsyma era uno del más grande, si no el más grandes, balbucean los programas del tiempo.
Comercialización
En 1979, en respuesta a una petición de Richard Fateman, entonces un profesor en Uc Berkeley, MIT proporcionó una licencia temporal para el código de Macsyma. Esto fue traída casi inmediatamente para arriba en la nueva computadora VAX-11/780 usar un dialecto del maclisp, Francisco del balbucea escrito por el grupo de Fateman. El MIT autorizó renuente versiones de VAX Macsyma de Berkeley a cerca de 50 universidades, comenzando con Caltech, bajo condición que las licencias serían revocadas cuando las negociaciones para una licencia apropiada eran completas. Esto sucedió de hecho cuando la negociación con Symbolics (véase abajo) era completa. Symbolics era renuente autorizar el producto del VAX, puesto que hardware competitivo constituido VAX a sus máquinas del ownLisp y por lo tanto suprimido el software del VAX por cinco años. Uc Berkeley también sacó a colación copias de Macsyma en paginar Motorola 68000 sistemas, especialmente Sun Microsystems. Symbolics suprimió ésos también. Al mismo tiempo Fateman trabajó para cambiar la licencia temporal (ahora revocada) para Macsyma en algo más permanente. En última instancia, el Ministerio de Estados Unidos de Energía impuso ante el MIT el requisito que lanzan una copia en biblioteca del NESC (centro nacional del software de la energía) en 1982, mientras que permite que el MIT afirme restricciones en términos de precio alto alto y ninguna redistribución. Esto fue pensada para proteger la transferencia de tecnologías a Symbolics. (Tales restricciones han estado desde levantado, 2002 o tan.) Esta GAMA supuesta Macsyma había sido reescrita en el MIT en un pre-Común balbucea dialecto en llamado MIT NIL balbucea, incompleto ejecutado en VAX-VMS, un sistema impopular en academia, donde estaba común Berkeley VAX Unix. La GAMA Macsyma formó la base para el mucho-tarde sistema de los máximos de la abrir-fuente.En 1981, Moses y Richard Pavelle, una empleado de plantilla del MIT y autor de aplicar Macsyma a la ingeniería y a la ciencia, propuestos para crear a una compañía para comercializar Macsyma. Sin embargo, la política del MIT evitó que los personales del MIT se beneficiaran directo de progresos del MIT. A principios de 1982, Macsyma fue autorizado por el MIT al Arturo D., que se convirtió en el corredor para Macsyma y pronto autorizó Macsyma al Symbolics en finales de 1982. Aparece que Symbolics no estaba tanto interesado en el código como en mantener Macsyma fuera del catálogo del software de su competidor el negocio de la máquina del balbuceo, el LMI . El arreglo del negocio entre Symbolics y Arturo D. poco requirió un pago de derechos al ADL de el 15% de las ventas gruesas de Macsyma. Esto llevó a la especulación en el deseo del MIT y del ADL de ver MACSYMA prosperar. El desarrollo de Macsyma continuó en Symbolics a pesar de que fue visto como balbucea una diversión de las ventas las máquinas que Symbolics considerado ser su negocio principal. Las ventas de Macsyma y las ventas apalancadas de balbucean las máquinas alcanzaron el 10% de ventas totales en Symbolics en el plazo de dos años. A pesar de resistencia de muchos en Symbolics, MACSYMA fue lanzado para las computadoras VAX-11 de la DEC y los sitios de trabajo de Sun Microsystems usar el Francisco de Berkeley balbucean en 1986 y 1987.
Sin embargo, los problemas en Symbolics y dentro del grupo de MACSYMA llevaron a la declinación de Macsyma. Por la mitad primer de 1986, los réditos de MACSYMA eran más bajos que por la mitad primer de 1985, en una industria growing. El programa del SMP del volframio y el arce de Waterloo crecían en este tiempo, aunque MACSYMA fuera fácilmente superior a estos otros paquetes en matemáticas simbólica.
Pavelle funcionó la división de MACSYMA en Symbolics hasta principios de 1986. Por la mitad segundo de Richard 1986 Petti sintió bien al encargado del negocio de MACSYMA. Recuento de los presentes del corte de MACSYMA pero ampliado su fuerza y comercialización de ventas, y centrado sus reveladores más en las características las cuales los clientes pidieron. (Por ejemplo, el algoritmo de Grobner desarrollado en los años 70 en M. no fue instalado en un envío MACSYMA hasta 1987.) En 1987, ingresos anuales de MACSYMA doblados áspero. MACSYMA llegó a ser más de uso fácil: la documentación y la ayuda en línea fueron reorganizadas y ampliadas; algunos nombres de comando fueron cambiados para ser más mnemónicos. Petti sostuvo a la gerencia de Symbolics que MACSYMA era una “unidad de negocio estratégico” que se debe financiar basó en su funcionamiento y potencial, no basados en las perspectivas del negocio principal del sitio de trabajo. Sin embargo, Symbolics cortó el recuento de los presentes de MACSYMA después de este período de crecimiento agudo; Symbolics intentó utilizar MACSYMA como vaca de efectivo minúscula para financiar las pérdidas del negocio del sitio de trabajo que era 30 veces su tamaño.
La debilidad más grande del producto de MACSYMA era su análisis numérico. Dominar matemáticas simbólica era una tarea hercúlea; pero las capacidades numéricas eran críticas conseguir un pedazo de los mercados científicos mucho más grandes de la ingeniería y del bajo-fin. En el MIT MACSMYA tenía un acoplamiento a las bibliotecas numéricas de IMSL (ahora caracteres numéricos visuales), pero este acoplamiento fue separado cuando MACSYMA se movió a Symbolics. Balbucean los reveladores en Symbolics creyeron generalmente que el análisis numérico era una vieja tecnología para la cual no era importante balbucean los usos, así que disminuyeron invertir en ella. La aritmética doble del flotador en MACSYMA (en una versión de la PC) era cerca de seis veces más lenta que el FORTRAN. También las matrices de MACSYMA fueron ejecutadas como listas de listas, que costaron otro factor de quizás 5-10 en la velocidad para los algoritmos dominantes. MACSYMA no tenía muchos del algoritmo básico de la álgebra linear numérica, tal como descomposición del LU.
En 1987-88, el grupo de Macsyma intentado para construir una PC Macsyma con la colina del oro balbucea. (Anterior, Symbolics había matado su propio proyecto para construir un recopilador de balbuceo para que las computadoras estándar eviten competir con balbucea las ventas de la máquina. Éste era un movimiento polémico que, por algunas cuentas, fue emprendido sin la aprobación de la administración superior. Symbolics también disminuyó cooperar con Sun para hacer para balbucear disponible en los sitios de trabajo de Sun por la misma razón.) La colina del oro balbucea era demasiado inestable, y su arquitectura débil hizo imposible para que la colina del oro elimine los insectos. Esto era una falta crucial para MACSYMA. Significó que MACSYMA no podría responder en las PC cuando Mathematica apareció en los Apple Computer en mid-1988. MACSYMA apareció en las PC de Windows en agosto de 1989 usar el CLOE balbucea de Symbolics. Sin embargo, el personal de MACSYMA era demasiado pequeño y careció la mezcla de habilidades necesarias para agregar la clase de gráficos, de interfaz del cuaderno y de mejores caracteres numéricos que Mathematica tenía.
Antes de 1989, estaba claro a Petti que Symbolics implode debido a la estrategia pobre del producto, y que tomaría MACSYMA con él. (Algunas ediciones del producto: (1) el software de Symbolics fue diseñado para los analistas de programas informáticos de la MIT-clase sin bastantes concesiones a otras. (2) el software de calidad mundial de Symbolics perdía la parte en el de mercado debido a la dependencia del hardware muy de coste elevado. (3) en la mudanza al hardware del VLSI en los a mediados de los años ochenta, Symbolics convirtió de una palabra de 36 pedacitos a una palabra de 40 pedacitos, sin la justificación del mercado para el coste de desarrollo enorme de este cambio.) MACSYMA no podía montar a un equipo buy-out debido a la carencia de la cooperación del MIT. Después de guardar razonablemente tranquilidad desde 1986 sobre las ediciones del producto, Petti intentó en finales de 1988 persuadir Symbolics de adoptar una estrategia del software-solamente o del tablero-nivel; pero el cuarto presidente en cuatro años no oiría nada de él. En Petti 1990 dejado Symbolics para un arranque., fue fundado en el 1992 por el Russell Noftsker (presidente, que co-founded el Symbolics ) y Richard Petti (presidente, que habían dado vuelta alrededor a Macsyma por una época en Symbolics) levantando fondos y comprando las derechas a Macsyma del Symbolics enfermo. Aunque el mercado creciera rápidamente, las ventas de Macsyma en 1991 y 1992 todavía bajaban temprano rápido. La cuota de mercado de Macsyma en software simbólico de la matemáticas había caído a partir de la 70% en 1987 a el 1% de 1992. Antes de 1993, el crecimiento del mercado se había retardado y el mercado había estandardizado en Mathematica y arce. Los competidores tenían personales del desarrollo que eran 4-8 veces más grandes que la de Macsyma Inc. a través de los años 90.
En 1995 tempranos la compañía envió Macsyma 2.5, con estas mejoras: (1) en la prueba grande de Wester de la matemáticas simbólica, Macsyma 2.5 anotó el 10% mejor que arce y el 15% mejor que Mathematica. En vez de ser muy lento, estaba en más rápido medio que Mathematica y casi tan rápidamente como arce.5 tenía un mejor interfaz del cuaderno que cualquier competidor, con la exhibición formatada de la matemáticas, el formato de texto, los acoplamientos de hipertexto, y el mejor interfaz de gráficos científico en la industria del software de la matemáticas. (3) los revisores convinieron unánime que Macsyma tenía el mejor sistema de ayuda en la industria (hipertexto incluyendo, las versiones parciales de programa, los ejemplos, las plantillas de la función, y pregunta de lenguaje natural posterior de Mathtips). Macsyma también había mejorado grandemente su documentación de papel. (4) aunque Macsyma 2.5 siguiera siendo muy lento en los caracteres numéricos, tenía una lista grandemente consolidada de las rutinas del análisis numérico y de la álgebra linear. (En 1996 el agregado Macsyma LAPACK que aumentó grandemente la velocidad de la mayoría de la álgebra linear numérica.) Una revisión en compartimiento de la PC deliró sobre el producto, decir el " Macsyma es el líder en el programa matemático marketplace."
Esta realización era posible porque Macsyma Inc. tenía más que su parte de reveladores de calidad mundial, incluyendo Jeff de oro (para la mayoría de la matemáticas simbólica), Bill Gosper (para las funciones especiales, las adiciones y otras áreas), el cañón de Howard (VP del desarrollo, para todo el software), y la consulta ocasional de Bill Dubuque (para la integración y la ecuación que solucionan). Otros reveladores hicieron contribuciones importantes en análisis numérico, gráficos, y sistemas de ayuda.
La compañía no podría continuar indefinidamente superando a personales 4-8 veces tan grandes e invirtiendo el ímpetu del mercado. La cuota de mercado no aumentó sobre el 2%, porque atrincheraron a los competidores en todas las cuentas dominantes, convirtiendo a un nuevo producto es muy costosa en tiempo de aprendizaje, y el crecimiento del mercado disminuido. También, comenzando en 1992 o 1993, el Mathsoft dedicó a una estrategia de Pyrrhic del gasto $10 millones en correo directo en los precios bajos muy, que ganaron mucho del crecimiento restante en el mercado simbólico de la matemáticas, en el momento en que Macsyma Inc. luchaba para reconstruir su producto de calidad mundial.
En el 1999, Macsyma fue adquirido por Tenedos LLC, sociedad de cartera que había comprado previamente Symbolics. La sociedad de cartera re-no ha lanzado o Macsyma revendido, pero Macsyma continúa siendo distribuido por Symbolics.
Versiones disponibles
Hay también un GLP - versión autorizada, llamada los máximos, basados en la versión 1982 de la GAMA Macsyma, adaptada posteriormente para el campo común balbucear y realzó por el Guillermo Schelter . Está en el desarrollo activo, y puede ser compilado debajo de varios campo común balbucea los sistemas de . Los executables transferibles para el linux, Microsoft Windows, mac OSX y otros sistemas, incluyendo los interfaces utilizador gráficos están disponibles. Los máximos no incluyen los realces numerosos uces de los hechos a la versión comercial de Macsyma entre 1982-1999 (por lo menos 50 años-hombre de trabajo), pero incluyen características adicionales numerosas y varias partes frontales alternativas. Mientras que esto ha dado lugar a algunas incompatibilidades entre Macsyma y los máximos, los programas escritos en campo común balbucean o en Macsyma la lengua algebraica se puede funcionar con a menudo, con solamente los cambios de menor importancia, en cualquier sistema.| Random links: | Centro nacional del hielo | Forreston, Illinois | Volatilidad implicada | Robyn Regehr | Partido Democratic turco de Kosovo |