本項は数式処理システムの一覧（すうしきしょりシステムのいちらん）である。
概要
|
|
開発者
|
開発開始時期
|
最初の公開/発売時期
|
安定した最新版
|
費用（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サポート
ネイティブコードで動くオペレーティングシステム（エミュレートを除く）。
脚注
- ^ “Releases - vermaseren/form - GitHub”. 2016年4月29日閲覧。
外部リンク
オンラインで参照可能な数式処理システムのリスト。