专用代数系统（special purpose computer algebra systems），理学-计算机科学技术-计算机科学理论-符号计算-数学软件，主要用于特定数学领域的计算机代数系统。全称专用计算机代数系统。与专用代数系统相对的是Maple和Mathematica等通用代数系统。典型的专用代数系统概述如下。CoCoA。用于交换代数的计算机代数系统，免费软件，主要由意大利热那亚大学开发。该系统支持交换代数中的多种基础运算，其核心是计算多项式理想和模的Groebner基算法。GAP。用于群论和组合数学的计算机代数系统，免费软件，最初由德国亚琛理工学院研制，由包括苏格兰圣安德鲁斯大学在内的5个“GAP中心”共同开发。KANT。用于代数数论的计算机代数系统，免费软件（非商业用途），主要由柏林工业大学开发。Macaulay2。用于代数几何和交换代数的计算机代数系统，免费软件。PARI/GP。用于数论的计算机代数系统，免费软件。Singular。用于多项式计算的计算机代数系统，侧重于交换代数、代数几何和奇点理论，免费软件，主要由凯泽斯劳滕大学开发。