计算机代数是研究符号计算的算法设计、理论分析和计算机实现的学科。

网址：

• Axiom http://arch.axiom-developer.org
• CoCoA http://cocoa.dima.unige.it
• Maple http://www.maplesoft.com
• Mathematica http://www.wolfram.com/products/mathematica
• Reduce http://www.uni-koeln.de/REDUCE
• Singular http://www.singular.uni-kl.de

《Computer Algebra Handbook——Foundation Application and Systems》