数式処理システムの一覧
概要

|  | 開発者 | 開発開始時期 | 最初の公開/発売時期 | 安定した最新版 | 費用（USD） | オープンソース | ライセンス | 注記 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Axiom | Axiomファウンデーション | 1971年 | 2002年9月3日 | 2005年4月 | 無料 | Yes | 修正BSDライセンス |  |
| CoCoA | CoCoAチーム | 1987年 | 1995年 | 5.1.1 | 無料 | Yes | GPL | 多項式の計算 |
| Derive | Soft Warehouse | 1979年 | 1988年 | 6.1 | $99 エジュケーショナル, $199 プロフェッショナル | No | プロプライエタリ | TIが所有; 2007年に製造中止 |
| DoCon | Serge D. Mechveliani | 1993年 | 1995年 | 2.08 | 無料 | Yes | OSI非認証ライセンス | Haskellライブラリ |
| DCAS | Robert Fenichel | ? | ? | 1.0 | 無料 | Yes | GPL |  |
| Eigenmath | George Weigt | 2004年 | 2005年 | 125 | 無料 | Yes | GPL |  |
| Erable (aka ALGB) | Bernard Parisse, Mika Heiskanen, Claude-Nicolas Fiechter | 1993年 | 1993年 | 4.20060919 | フリー |  | LGPL | CAS designed for Hewlett-Packard scientific graphing calculators of the HP 48/49/40/50 series; discontinued in 2009 |
| Fermat | Robert H. Lewis | 1986年 | 1993年 | 3.9.9x | $50 | No | シェアウェア | 多項式、行列 |
| FORM | J.A.M. Vermaseren | 1984年 | 1989年 | 4.1 | フリー |  | GPL | CAS designed mainly for particle physics |
| GAP | GAPグループ | 1986年 | 1986年 | 4.4.12 | 無料 | Yes | GPL | 群論、指標理論、離散数学 |
| GiNaC | Christian Bauer | 1995年 | 1999年 | 1.3.3 | 無料 | Yes | GPL | C++ライブラリ |
| Macaulay | Dave Bayer and Mike Stillman | ? | ? | 2.0.9.8 | 無料 | Yes | GPL | 多項式 |
| Macsyma | MIT Project MAC and Symbolics | 1968年 | 1978年 | 2.4 | $500 |  | プロプライエタリ | The oldest general purpose CAS. Still alive as Maxima. |
| Magma | シドニー大学 | ~1990年 | 1993年 | 2.13 | 変動制（コスト回収、非営利） | No | プロプライエタリ | 代数、暗号、群論、数論 |
| Maple | Maplesoft | 1979年 | 1985年 | 12 | $1895 一般用、$995 アカデミック用、$99 学生用 | No | プロプライエタリ |  |
| Mathcad | Mathsoft | 1985年 | 1985年 | 15 | $1,195 | No | プロプライエタリ |  |
| Mathematica | ウルフラム・リサーチ | 1986年 | 1988年 | 10.4.1 | $1880+ / 学生用<$200 | No | プロプライエタリ |  |
| Mathomatic | George Gesslein II | 1986年 | 1987年 | 16.0.5 | 無料 | Yes | LGPL | 代数一般 |
| Maxima | Bill Schelter et al. | 1967年 | 1998年 | 5.33.0 | 無料 | Yes | GPL |  |
| Mizar | Andrzej Trybulec. Białystok University. University of Alberta. Shinshu University. | 1973年 | 1989年 | 7.8.10 | 無料 | No | プロプライエタリ | 証明（proof checker） |
| MuMATH | Soft Warehouse | 1970年代 | 1980年 |  | 製造中止 | No | プロプライエタリ |  |
| MuPAD | SciFace Software（オリジナル）, MathWorks（単体版販売終了後のサポート） | 1989年 | 1992年 | 4.0.6 | かつてはフリー。 現在は$250、30日間の無料試用可 | No | プロプライエタリ | MathWorksによる買収により、MATLABのアドオンの一つとなり、単体での販売終了。 |
| OSCAR | Wolfram Decker, Christian Eder, Claus Fieker, Max Horn, and Michael Joswig | 2024年 | 1.0.0 |  | 無料 | Yes |  |  |
| PARI/GP | Henri Cohen, Karim Belabas, et al. | 1985年 |  ? | 2.3.1 | 無料 | Yes | GPL | 数論、任意精度計算 |
| REDUCE | Anthony C. Hearn | 1960年代 | 1968年 | csl version 31-dec-08 | 無料（2008年後半より。それまでは$140 USD、コード付$600） | Yes | 修正BSDライセンス（2008年後半より。それまではプロプライエタリ） |  |
| Risa/Asir | （株）富士通研究所（オリジナル）、OpenXM（神戸版） | 1989年 |  |  | 非商用は無料 | No | オリジナルソースはプロプライエタリ |  |
| Sage （ SageMathに改名) | William Stein | 2005年 | 2006年 | 6.3 | 無料 | Yes | GPL |  |
| SINGULAR | カイザースラウテルン大学 | 1984年 | 1997年 | 3.0.1 | 無料 | Yes | GPL | 多項式、環、イデアル |
| HP-49シリーズ | ヒューレット・パッカード | ? | 1999年 | ? | メーカー希望小売価格$110から | No | プロプライエタリ、一部LGPL | ハンドヘルド数式処理計算機 |
| TI-89 | テキサス・インスツルメンツ | ? | 1998年 | 2.09 | 製造中止 | No | プロプライエタリ | ハンドヘルド数式処理計算機 |
| TI-89 Titanium | テキサス・インスツルメンツ | ? | 2004年 | 4.00 | メーカー希望小売価格$150 | No | プロプライエタリ | ハンドヘルド数式処理計算機 |
| TI-92 | テキサス・インスツルメンツ | ? | 1995年 | ? | 製造中止 | No | プロプライエタリ | ハンドヘルド数式処理計算機 |
| TI-92 Plus | テキサス・インスツルメンツ | ? | 1998年 | 2.09 | 製造中止 | No | プロプライエタリ | ハンドヘルド数式処理計算機 |
| Voyage 200 | テキサス・インスツルメンツ | ? | 2002年 | 3.10 | メーカー希望小売価格$200 | No | プロプライエタリ | ハンドヘルド数式処理計算機 |
| TI-Nspire CAS | テキサス・インスツルメンツ | 2006年 | 2008年 | 1.4.11643 | メーカー希望小売価格$129 | No | プロプライエタリ | ハンドヘルド数式処理計算機 |
| WIRIS | WIRIS | 1999年 | 1999年 | 2.0 | 無料 | No | プロプライエタリ |  |
| Yacas | Ayal Pinkus et al. | ? | ? | 1.0.61 | 無料 | Yes | GPL |  |
| カルキング | （株）シンプレックス | ? | ? | 7 | 5万円、2.5万円（アカデミック版） | No | プロプライエタリ |  |
| SMath studio | Andrey Ivashov | ? | 2005年 | 0.95 | 無料 | No | ? | Mathcadに類似した数学ノートブックソフト |
|  | 開発者 | 開発開始時期 | 最初の公開/発売時期 | 安定した最新版 | 費用 (USD) | オープンソース | ライセンス | 注記 |
その他にも、Python上で動作する「SymPy」もある。