数式処理システムの一覧

本項は数式処理システムの一覧（すうしきしょりシステムのいちらん）である。

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

その他にも、Python上で動作する「SymPy」もある。

 OSサポート 
ネイティブコードで動くオペレーティングシステム（エミュレートを除く）。

 Windows macOS Linux BSD UNIX Axiom      CoCoA      Derive      DoCon      DCAS      Eigenmath      Fermat      GAP      GiNaC      Macaulay      Magma      Maple      Mathcad      Mathematica      Mathomatic      Maxima      Mizar      MuMATH      MuPAD      PARI/GP      REDUCE      Risa/Asir      Sage       SINGULAR      HP-49シリーズ      TI-89      TI-89 Titanium      TI-92      TI-92 Plus      Voyage 200      TI-Nspire      WIRIS      Yacas      カルキング       Windows macOS Linux BSD UNIX

 脚注 

 外部リンク 
オンラインで参照可能な数式処理システムのリスト。
 https://web.archive.org/web/20110718004430/http://directory.google.com/Top/Science/Math/Algebra/Software/
 http://www.cs.ru.nl/~freek/digimath/xindex.html
 https://curlie.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

*
Category:数学の一覧
Category:数学ソフトウェアの比較
Category:数学に関する記事