数式処理システム
単変数の低次あるいは高次の代数方程式を厳密にあるいは近似的に解く。消去法により多変数の線形あるいは非線形の連立代数方程式を解く。
行列に対する各種操作。行列積の計算、逆行列の計算、固有多項式の計算、各種標準形への変換など。
各種領域での線型および非線型の方程式を解く。
数列や函数の極限を求める。 常に可能なわけではない。
函数の級数への展開、級数の総和や積計算など。※
微分と偏微分の操作。
一部の不定積分と定積分。多次元積分も含む。
一部の微分方程式や差分方程式を解く。
Hal Schenck:"Computational Algebraic Geometry", (London Mathematical Society Student Texts) , Cambridge University Press, ISBN 978-0521536509, (2003/10/06).
Gert-Martin Greuel, Gerhard Pfister: "A Singular Introduction to Commutative Algebra", 2nd Ed., Springer-Verlag, ISBN 978-3540735410, (2007/12/04).
Yorick Hardy, Kiat Shi Tan and Willi-Hans Steeb: "Computer algebra with SymbolicC++", World Scientific, ISBN 978-981-283-360-0, (2008).
Joachim von zur Gathen,"Modern Computer Algebra", (3rd Ed.),Cambridge Univ. Press, ISBN 978-1107039032, (2013/04/25). ※ 2nd Ed. は ISBN 978-0521826464 (2003/09/01).