本項は数式処理システムの一覧（すうしきしょりシステムのいちらん）である。
概要
| 開発者 | 開発開始時期 | 最初の公開/発売時期 | 安定した最新版 | 費用（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[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のアドオンの一つとなり、単体での販売終了。[1] |
| 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」もある。
OSサポート
ネイティブコードで動くオペレーティングシステム（エミュレートを除く）。
| Windows | macOS | Linux | BSD | UNIX | |
|---|---|---|---|---|---|
| Axiom | Yes | ? | Yes | ? | ? |
| (CoCoA) | Yes | Yes | Yes | Yes | Yes |
| (Derive) | Yes | No | No | No | No |
| (DoCon) | ? | ? | Yes | ? | ? |
| (DCAS) | Yes | ? | ? | ? | ? |
| (Eigenmath) | Yes | Yes | Yes | ? | ? |
| (Fermat) | Yes | Yes | Yes | Yes | Yes |
| GAP | Yes | Yes | Yes | Yes | Yes |
| GiNaC | Yes | ? | Yes | Yes | Yes |
| (Macaulay) | Yes | Yes | Yes | ? | ? |
| Magma | Yes | ? | Yes | Yes | Yes |
| Maple | Yes | Yes | Yes | ? | Yes |
| (Mathcad) | Yes | No | No | No | No |
| Mathematica | Yes | Yes | Yes | No | Yes |
| (Mathomatic) | Yes | Yes | Yes | Yes | Yes |
| Maxima | Yes | Yes | Yes | Yes | Yes |
| Mizar | Yes | Yes | Yes | Yes | Yes |
| (MuMATH) | No | No | No | No | No |
| MuPAD | Yes | Yes | Yes | No | No |
| PARI/GP | Yes | Yes | Yes | Yes | Yes |
| REDUCE | Yes | Yes | Yes | Yes | Yes |
| Risa/Asir | Yes | Yes | Yes | Yes | Yes |
| Sage | No | Yes | Yes | Yes | Yes |
| SINGULAR | Yes | Yes | Yes | Yes | Yes |
| (HP-49シリーズ) | No | No | No | No | No |
| TI-89 | No | No | No | No | No |
| TI-89 Titanium | No | No | No | No | No |
| TI-92 | No | No | No | No | No |
| TI-92 Plus | No | No | No | No | No |
| Voyage 200 | No | No | No | No | No |
| TI-Nspire | Yes | Yes | No | No | No |
| WIRIS | ? | ? | ? | ? | ? |
| Yacas | Yes | Yes | Yes | Yes | Yes |
| カルキング | Yes | No | No | No | No |
| Windows | macOS | Linux | BSD | UNIX |
脚注
- ^ “Releases - vermaseren/form - GitHub”. 2016年4月29日閲覧。
外部リンク
オンラインで参照可能な数式処理システムのリスト。