考虑了在高能物理中的应用。他在1963年设计的第一个程式叫"Schoonship"（荷兰文，意指「干净的船」）。最早受到欢迎的系统是Reduce、Derive与Macsyma，现在仍然可取得。Macsyma的一个GNU通用公共许可证发行的版本叫作Maxima，现在仍有维护。市场的龙头为Maple与Mathematica，两者被数学家、科学家及工程师们广泛採用，此外还有MuPAD与MathCad。另有一些系统着眼于特定的应用领域，这些系统通常在学院中被设计、发展及维护，例如交换代数系统Macaulay