数式処理システムの一覧
出典: フリー百科事典『ウィキペディア（Wikipedia）』
数式処理システムの一覧（すうしきしょりシステムのいちらん）
概要
| 開発者 | 開発開始時期 | 最初の公開/発売時期 | 安定した最新版 | 費用（USD） | オープンソース | ライセンス | 注記 | |
|---|---|---|---|---|---|---|---|---|
| Axiom | Axiomファウンデーション | 1971年 | 2002年9月3日 | 2005年4月 | 無料 | テンプレート:Yes | 修正BSDライセンス | |
| CoCoA | CoCoAチーム | 1987年 | 1995年 | 4.5 | 無料 | テンプレート: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 | |
| Fermat | Robert H. Lewis | 1986年 | 1993年 | 3.7.5 | $50 | テンプレート:No | シェアウェア | 多項式、行列 |
| GAP | GAPグループ | 1986年 | 1986年 | 4.4.7 | 無料 | テンプレート: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 | 多項式 |
| Magma | シドニー大学 | ~1990年 | 1993年 | 2.13 | 変動制（コスト回収、非営利） | テンプレート:No | プロプライエタリ | 代数、暗号、群論、数論 |
| Maple | Maplesoft | 1979年 | 1985年 | 12 | $1895 一般用、$995 アカデミック用、$99 学生用 | テンプレート:No | プロプライエタリ | |
| Mathcad | Mathsoft | 1985年 | 1985年 | 13 | $1,195 | テンプレート:No | プロプライエタリ | |
| Mathematica | ウルフラム・リサーチ | 1986年 | 1988年 | 10 | $1880+ / 学生用<$200 | テンプレート:No | プロプライエタリ | |
| Mathomatic | George Gesslein II | 1986年 | 1987年 | 12.6.9 | 無料 | テンプレート:Yes | LGPL | 代数一般 |
| Maxima | Bill Schelter et al. | 1967年 | 1998年 | 5.17.1 | 無料 | テンプレート: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 | William Stein | 2005年 | 2006年 | 5.10 | 無料 | テンプレート: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) | オープンソース | ライセンス | 注記 |
OSサポート
ネイティブコードで動くオペレーティングシステム（エミュレートを除く）。
外部リンク
オンラインで参照可能な数式処理システムのリスト。
