数式処理システムの一覧
本項は数式処理システムの一覧（すうしきしょりシステムのいちらん）である。
概要
[編集]| 開発者 | 開発開始時期 | 最初の公開/発売時期 | 安定した最新版 | 費用（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] |
| 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」もある。
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日閲覧。
外部リンク
[編集]オンラインで参照可能な数式処理システムのリスト。
- https://web.archive.org/web/20110718004430/http://directory.google.com/Top/Science/Math/Algebra/Software/
- http://www.cs.ru.nl/~freek/digimath/xindex.html
- http://dmoz.org/Science/Math/Software/ (at the Open Directory Project)
- http://www.mat.univie.ac.at/~slc/divers/software.html
- http://orms.mfo.de/about.php