目前，总共有五十种计算机代数系统，下面几种是最出名和广泛使用的。

MACSYMA——马萨诸塞理工学院数学实验室1968年开始，由莫斯教授及其同事发明的，以解决一切代数问题为目标的综合系统。至今只有到马萨诸塞理工学院的人才能用它，但程序不久就能供给校外主顾，跟为某些专用设计的计算机程序相比，在特殊应用方面速度慢一点。

REDUCE——大部分由海恩教授发明，先在斯坦福大学，以后在犹他大学（海恩现在圣 · 马立卡的兰特公司），目标是建立的一个综合系统。靠互相协作而发展，合作单位报道从这系统得到了效益。程序能用于各种计算机（虽然一些用户认为用起来有些困难），该系统正待定型并做得更加完备，用户报道最近用的程序比早先的更成熟些。

SCHOONSCHIP——1972年韦尔特曼在欧洲原子核研究中心发展的。目标是解量子电动力学问题，用在这领域内该系统快速但需中等的存储。这一程序可在大型CDC计算机上用，字长小的计算机不太好用。

CAMAL——剑桥大学1960年发明的解天体力学问题的系统，做起来要求中等存储，现在广泛使用。但最近开始让位于波音空间科学部（Boeing Space Sciences Division）发展得更完善的系统。

MuMATH——夏威夷大学的司脱坦默（Stoutemyer）发明的用微处理器的系统。用于教学及小研究课题，特别是系统设计方面的应用。

多数计算机厂有代数程序，如贝尔电话实验室。

对计算机代数有兴趣的一些学术团体，在美国由SIGSAM（—个计算机协会的特别小组）负责，组织会议（下一次于1981年8月，在犹太相的斯诺勃特举行），还出版了季刊。欧洲的协调由符号数学委员会的荷尔逊（J. A. Van Hulzen）组织。