数式処理システム
上記以外にも、以下のような機能を持つ数式処理システムがある。
数値の高精度な近似値を計算する。例えば、2 を1万桁以上計算するなど。
計算物理学のための物理学パッケージのように、応用数学的な特定用途に特化したアドオンが提供されているもの。
グラフィック機能。関数を2次元または3次元の図にプロットしたり、アニメーション表示する(画像ファイルとして出力する)。
関数値を波形として扱って音を鳴らす。
データベースや表計算システム、プログラミング言語から利用するためのAPI。
文字列探索などの文字列操作機能。
数式をTeXに類似した組版システムを使って綺麗に表示する。あるいはTeX形式でテキストファイルとして(入)出力する。
数式などを、Fortranなど他のプログラミング言語で用いられている表記法との間で相互に変換や入出力する。
統計学的な計算の機能
定理の自動証明や証明検証(Proof Checker)
画像処理機能
音響合成
有限群論機能
システムに対するプログラミングやユーザーからの入力指示とそれに対する出力結果を保存して、再利用や再度の実行を可能とするユーザーインタフェース。
多くの場合に、システムはプログラミング言語としての機能を持ち、ユーザーがアルゴリズムをプログラムとして記述して処理させることができる。言語の様式は様々で、命令型プログラミングや関数型プログラミングもあれば、制約プログラミングや論理プログラミングもあるし、4GL的なものもある。
V. G. Ganzha, Ernst W. Mayr, E. V. Vorozhtsov (Eds):"Computer Algebra in Scientific Computing: Casc 2001, Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001", Springer-Verlag, ISBN 978-3540423553,(2001/09).
CASC2002(ただいま書誌情報調査中)
CASC2003(ただいま書誌情報調査中)
CASC2004(ただいま書誌情報調査中)
Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov(Eds):"Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings",(Lecture Notes in Computer Science/Theoretical Computer Science and General Issues), Springer-Verlag,ISBN 978-3540289661,(2005/09/30).