(2) REDUCE。它是由赫恩(A.C. Hearn)设计的。该 语言是用 SLISP( Standard Lisp)写成的,通用的代 教处理系統。具有相当广泛的基本代数处理功能。并 能处理高能物理的计算问题。 (3) Mathematica该系統是美国 Wolfram公司开发 的一个功能强大的计算机通用数学系统。其基本系統 主要是用C语言开发的。它是当前运用十分广泛的符 号代数处理系统
（2） REDUCE。它是由赫恩(A.C. Hearn)设计的。该 语言是用 SLISP (Standard LISP)写成的,通用的代 数处理系统，具有相当广泛的基本代数处理功能，并 能处理高能物理的计算问题。 （3） Mathematica。该系统是美国 Wolfram 公司开发 的一个功能强大的计算机通用数学系统。其基本系统 主要是用 C 语言开发的。它是当前运用十分广泛的符 号代数处理系统
(4) Maple.这是一个商业产品。其优点是使用图形用户 界面并文持一些复条运算,如:因式分解,积分或求和。 缺点是 Maple不适用于处理大量数据。 (5) LiNaC:这是用C+的符号计算库。它的主要特征是 具备以面向对象的方式实现用户自己的算法的能力。它 能处理大量数据。在基准测谜下。其运算速度可与下面 的FOAM相当
(4) Maple. 这是一个商业产品。其优点是使用图形用户 界面并支持一些复杂运算，如：因式分解，积分或求和。 缺点是 Maple 不适用于处理大量数据。 (5) GiNaC: 这是用 C++的符号计算库。它的主要特征是 具备以面向对象的方式实现用户自己的算法的能力。它 能处理大量数据，在基准测试下，其运算速度可与下面 的 FORM 相当
(6) SCHOONSCHIP这是很著名的粒子物理研究用的计算 机代数系统。它也能做一舭的代教运算,是目前为止运 行速度最快的系统。该程序是用CDC型60位计算机和 6800系列计算机的汇编语言写成的,因而大大限制了 它适用的机型。 (⑦)FORM:优点是還算速度高和具有处理大量数据的 能力。它被广泛运用于高能物理和涉及大型中间表达式 的程序。人们普遍认为它是SCH00 NSCHIP系统的后继程 序
(6)SCHOONSCHIP。这是很著名的粒子物理研究用的计算 机代数系统。它也能做一般的代数运算，是目前为止运 行速度最快的系统。 该程序是用 CDC 型 60 位计算机和 6800 系列计算机的汇编语言写成的，因而大大限制了 它适用的机型。 (7)FORM: 优点是运算速度高和具有处理大量数据的 能力。它被广泛运用于高能物理和涉及大型中间表达式 的程序。人们普遍认为它是 SCHOONSCHIP 系统的后继程 序
计算机代数系统的发展历史: 二十世纪六十年代最早的计算机代数系统几乎完全是基于LISP 表处理谮言.它是用来处理表链的。它对于早期符号计犷程序的 重要性,就好比同一时期处理数值计算的程序 FORTRAN系统。在 这个阶段, REDUCE程序对高能物理已经表现出一些特殊的用途。 ●SCH00 NSCHIP是M, Veltman用汇编语言写的。专门应用于粒子物 理额域。汇编代码的应用导致了难以置信的高速计算程序(相对 于最初的解释代码),从而傀计算更复杂的高能物理散射过程成 为可能。由于人们還渐认识到这个程序的重要性,因而,1998年 M. Veltman因此获得了诺贝尔物理奖。 ●同时值得一提的是基于 Franz lISP的 MACSYMA系统,它引发了 算法的重要发展
计算机代数系统的发展历史: z 二十世纪六十年 代最早的计算机代数系统几乎完全是基于 LIS P 表处理语言.它是用来处理表链的。它对于早期符号计算程序的 重要性，就好比同一时期处理数值计算的程序 FORT R A N 系统。 在 这个阶段，REDUCE 程序对高能物理已经表现出一些特殊的用途。 z S C HOONSCHIP 是 M. Veltman 用汇编语言写的，专门应用于粒子物 理领域 。汇编代码的应用导致了难以置信的高速计算程序（相 对 于最初的解释代码），从而使计算更复杂的高能物理散射过程成 为可能 。由于人们逐渐认识到这个程序的重要性，因而，1998 年 M.Veltman 因此获得了诺贝尔物理奖。 z 同时值得一提的是基于 F r anz LISP 的 MACSYMA 系统，它引发了 算法的重要发展
●从1980年以来,新的计算机代数系统开始采用C语言编写。这 样的系统与解释语言LISP相比,能够更好的利用计算机资源, 养能保持程序的可移植性,而这正是解释语言所做不到的。 ●这个时期还出现了最早的商业计犷机代数系统,其中 Mathematica和 Maple最为著名。另外,少量的专用程序也出现 了, J. Vermaseren編写的FO趔M就是一个用于粒子物理研究的程 序。它是可移植的,并认为是SCH00 NSCHIP系統的后继程序。 ●近几年,有关大型程序可錐护性的问题变得越来越重要。全部 的设计范例都由过程设计变到了面向对隶设计。反映在编程语 言上从C变到C十十。这样 LiNaC库隨之发展起来,它支持C+环 境下的符号计算
z 从 1980 年以来,新的计算机代数系统开始采用 C 语言编写。这 样的系统与解释语言 LISP 相比，能够更好的利用计算机资源， 并能保持程序的可移植性，而这正是解释语言所做不到的。 z 这 个 时 期 还 出 现 了 最 早 的 商 业 计 算 机 代 数 系 统 ， 其 中 Mathematica 和 Maple 最为著名。另外，少量的专用程序也出现 了，J.Vermaseren 编写的 FORM 就是一个用于粒子物理研究的程 序。它是可移植的，并认为是 SCHOONSCHIP 系统的后继程序。 z 近几年，有关大型程序可维护性的问题变得越来越重要。全部 的设计范例都由过程设计变到了面向对象设计。反映在编程语 言上从 C 变到 C++。这样 GiNaC 库随之发展起来，它支持 C++环 境下的符号计算