コンピュータ代数システムの一覧

以下の表は、コンピュータ代数システム（CAS）の比較を示しています。 [1] [2] [3] CASは、代数オブジェクトに対して記号操作を実行するための一連のアルゴリズム、それらを実装するための言語、および言語を使用する環境を含むパッケージです。[4] [5] CASにはユーザーインターフェイスとグラフィックス機能が含まれる場合があり、効果的に機能させるには、大規模なアルゴリズムライブラリ、効率的なデータ構造、および高速カーネルが必要になる場合があります。[6]

一般的な

システムクリエイター開発開始最初の公開リリース最新の安定バージョン最新の安定版リリース日費用（米ドル）ライセンス注記
公理リチャード・ジェンクス19771993年と2002年[7]2014年8月[8]無料修正BSDライセンス汎用CAS。Dockerコンテナを使用した継続的なリリース
カダブラカスパー・ピータース200120072.5.14 [9] 2025年7月31日無料GNU GPLテンソル場理論のためのCAS
ココアジョン・アボット、アンナ・M・ビガッティ、ジョバンニ・ラゴリオ198719955.2.02017年5月2日無料GNU GPL可換代数に特化したCAS
導出するソフトウェアハウス197919886.12007年11月製造中止独自のDOSおよびWindowsマイクロコンピュータ用に設計されたCAS。2007年に廃止されました。
Erable（別名ALGB）ベルナール・パリッセ [fr]、ミカ・ハイスケネン、クロード・ニコラス・フィヒター199319934.200609192009年4月21日無料LGPLCAS は、HP 48/49/40/50 シリーズのヒューレット パッカード科学グラフ電卓用に設計されています。2009年に廃止されました。
フェルマーロバート・H・ルイス198619936.52021年6月21日助成金が利用可能な場合は 70 ドル、そうでない場合は 0 ドルGNU GPL多項式エントリを持つ結果計算と線形代数に特化したCAS
形状JAM ヴェルマセレン198419894.3.12023年4月11日[10]無料GNU GPLCASは主に素粒子物理学のために設計されています
金曜日CASヴァルデック・ヘビッシュ200720071.3.122025年6月3日無料修正BSDライセンスフル機能の汎用CAS。特にシンボリック積分に優れています。
ギャップGAPグループ198619864.15.1 [11] 2025年10月18日無料GNU GPL [12]群論と組合せ論に特化した CAS 。
ジオゲブラ CASMarkus Hohenwarter 他20136.0.753.02023年1月3日非営利目的であれば無料[13]フリーウェア[13]WebベースまたはデスクトップCAS計算機
ギナックChristian Bauer、Alexander Frink、Richard B. Kreckel 他199919991.8.9 [14] 2025年5月15日無料GNU GPLシンボリック計算を C++ プログラムに統合します。高レベルのインターフェースはありませんが、相互運用性を重視します。
GNU オクターブジョン・W・イートン1993199410.3.0 [15] 2025年9月23日無料GPLv3+MATLABとほぼ互換性のある科学計算および数値計算用の高水準プログラミング言語
カント/カッシュKANTグループ??32005年/2008年非商用利用は無料独自のライセンス代数的整数論に特化したCAS
マコーレー2ダニエル・グレイソンとマイケル・スティルマン199219941.24.052024年5月15日無料GNU GPL代数幾何学と可換代数に特化したCAS
マクシマMITプロジェクトMACとシンボリックス196819782.41999500ドル独自の最も古い汎用CASの一つ。現在もMaximaとして健在。
マグマシドニー大学1990年頃19932.28-19 [16] 2025年2月21日1,440ドル独自の汎用CAS。もともと群論に特化している。型付けされていない数式ではなく、代数構造の要素を扱う。
マグナスニューヨーク群論協同組合199419972005無料GNU GPL無限群内および無限群に関する計算を実行する機能を備えた群論に特化したCAS。2005年に廃止されました。
メープルウォータールー大学シンボリック計算グループ1980年[17]19842025年[18] 2025年3月25日2,390ドル（商用）、2,265ドル（政府機関）、995ドル（学術機関）、239ドル（個人版）、99ドル（学生）、79ドル（学生、12ヶ月契約）[19]独自の主要な汎用CASの1つ
マスキャドパラメトリックテクノロジー株式会社1985198515.0 M0452021年2月27日1,600ドル（商用）、105ドル（学生）、無料（Express Edition）[20]独自のCAS機能を備えた数値計算ソフトウェア
マセマジックスヨリス・ファン・デル・ホーヴェン19992002無料GNU GPLコンピュータ代数および解析システム
マセマティカウルフラムリサーチ1986198814.3 [21] 2025年8月5日2,495ドル（プロフェッショナル）、1,095ドル（教育）、295ドル（個人）、[22] 140ドル（学生）、69.95ドル（学生年間ライセンス）、[23] Raspberry Piハードウェアでは無料[24]独自の主要な汎用CASの1つ
マソマティックジョージ・ゲスライン2世1986198716.0.52012製造中止LGPL初等代数、微積分、複素数および多項式の操作。
マキシマMIT プロジェクト MACとBill Schelter他196719985.48.1 [25] 2025年8月6日無料GNU GPL汎用CAS。Macsymaの継続。新しいリリースは年に約2回行われます。
ミュマスソフトウェアハウス1970年代1980ミューマス-83製造中止独自のDeriveの前身
ミューパッドSciFaceソフトウェア198920085.12008製造中止独自のMathWorksは、MuPADテクノロジーをSymbolic Math Toolboxに組み込んだ。
オープンアクシオムガブリエル・ドス・レイス200720071.4.22013無料修正BSDライセンス汎用 CAS。Axiom のフォーク。
PARI/GPHenri Cohen、Karim Belabas、Bill Allombert 他198519902.17.2 [26] 2025年3月5日無料GNU GPL数論に特化したCAS 。
減らすアンソニー・C・ハーン196319686860 (2024年8月; 1年前) [±] [27] （2024年8月）「最新の安定バージョン」を参照してください。無料修正BSDライセンス最も古く、歴史的に重要な汎用CASの一つ。2008年12月にオープンソース化され、現在も稼働中。
セージマスウィリアム・A・スタイン2005200510.7 [28] 2025年8月9日無料GNU GPL数値計算、統計、画像処理など、既存のパッケージを多数組み合わせた数学ソフトウェアシステム
サイラボScilabエンタープライズ199019902026.0.0 [29] 2025年10月16日無料CeCILL (GPL 互換) バージョン 5.5.2 まで、バージョン 6.0.2 以降は GPL v2.0MATLAB の代替品。
特異カイザースラウテルン大学198419974.4.1 [30] 2025年1月16日無料GNU GPL可換代数と非可換代数、代数幾何学、特異点理論に特に重点を置いた、多項式計算用のコンピュータ代数システム。
SMathスタジオアンドレイ・イヴァショフ200420061.0.83482022年11月9日無料独自のMathcad に似た数学ノートブック プログラム。
記号操作プログラムスティーブン・ウルフラム1979年[31]19811988製造中止独自のこのソフトウェアは最終的にMathematicaに置き換えられましたが、新しいプログラムは以前のSMPの構文と機能の多くを保持しています。[32]
シンボリック数学ツールボックス（MATLAB）マスワークス198920082024b2024MATLAB の価格を含む、$3,150 (商用)、$99 (学生スイート)、$700 (学術)、$194 (自宅)。独自の記号的な数式を解決および操作し、可変精度の演算を実行するためのツールを提供します。
シンピオンドレイ・チェルティク200620071.14.0 [33] 2025年4月27日無料修正BSDライセンスPythonベース
TI-Nspire CAS（コンピュータソフトウェア）テキサス・インスツルメンツ200620095.1.32020独自のDeriveの後継機。TI-89/Voyage 200およびTI-Nspireハンドヘルド機で使用されているDeriveのエンジンをベースにしている。
ウォルフラムアルファウルフラムリサーチ20092013プロ版：月額4.99ドル、学生向けプロ版：月額2.99ドル、通常版：無料独自のステップバイステップの解答を備えたオンラインコンピュータ代数システム。
Xcas / Giacベルナール・パリセ [fr]200020002.0.0-15 [34] 2025年11月無料GPL汎用CAS。HP Primeにも対応。Maple、MuPAD、TI89構文と互換性あり。記号スプレッドシート、他のプログラムで使用できるGiacライブラリ。LinuxまたはWinCE搭載の一部PDA向けARMポート[35]
ヤカスAyal Pinkus 他1998年[36]19991.9.1 [37] 2020年7月4日無料GNU GPL
クリエイター開発開始最初の公開リリース最新の安定バージョン最新の安定版リリース日費用（米ドル）ライセンス注記

これらのコンピュータ代数システムは、汎用GNU TeXmacsなどのより優れたユーザー インターフェイスを提供する「フロントエンド」プログラムと組み合わせられることがあります。

機能性

以下は、各システムで 大幅に開発されたシンボル機能の概要です。

システム
数式エディタ
微積分ソルバーシステム
公理いいえはいはいはいはいはいはいはいはいいいえはいはいはいはいはいいいえはい公理
カダブラいいえはいはいはいはいはいいいえはいいいえいいえいいえいいえいいえはいいいえいいえはいカダブラ
金曜日CASはいはいはいはいはいはいはいはいはいはいはいはいはいはいはいいいえはい金曜日CAS
ギャップいいえはいいいえいいえはいはいはいいいえはいはいはいはいはいはいいいえいいえはいギャップ
GNU オクターブはいはいはい?はいはい?はい????はい?はいはい?GNU オクターブ
マグマいいえはいいいえいいえはいいいえはいいいえいいえはいはいいいえいいえいいえ??はいマグマ
マグナスいいえはいいいえいいえいいえいいえいいえいいえいいえ??いいえ?いいえいいえいいえはいマグナス
メープルはいはいはいはいはいはいはいはいはいはいはいはいはいはいはいはいはいメープル
マスキャドはいいいえはいいいえはいいいえいいえいいえいいえいいえいいえいいえいいえいいえいいえいいえいいえマスキャド
マセマティカはいはいはいはいはいはいはいはいはいはいはいはいはいはい[38]はいはいはいマセマティカ
マソマティックいいえいいえはいはいはいいいえいいえいいえいいえいいえはいいいえいいえいいえいいえいいえいいえマソマティック
マキシマいいえはいはいはいはいはいいいえはいはいはいはいいいえはいはいはいはいはいマキシマ
PARI/GPいいえはいはいいいえはいいいえはい*いいえはい*いいえはいいいえはい??いいえはいPARI/GP
減らすはいはいはいはいはいはいいいえはいいいえいいえはいはいはいはいいいえいいえいいえ減らす
セージマスいいえはいはいはいはいはいはい[A]はいはいはいはいはい[B]はいはいはいいいえはいセージマス
サイラボはいはいはい?はいはい?はい????はい?はいはい?サイラボ
SMathスタジオはいいいえはいいいえはいいいえいいえいいえいいえいいえいいえいいえいいえいいえいいえいいえいいえSMathスタジオ
シンボリック数学ツールボックス（MATLAB）はいはいはいはいはいはいはいはいいいえはいはいいいえはいいいえはいはいいいえシンボリック数学ツールボックス（MATLAB）
シンピいいえはいはいはいはいはいはい[39]はいはいいいえはいいいえはいはいはいいいえはいシンピ
ウォルフラムアルファはいはいはいはいはいはいはいはいはいはいはいはいはいいいえ??はいウォルフラムアルファ
Xcas / Giacはいはいはいいいえはいはいいいえはいはいいいえはいいいえいいえいいえはい??Xcas / Giac
ヤカスいいえはいはいいいえはいいいえいいえいいえいいえいいえいいえいいえいいえいいえ??いいえヤカス
  1. ^ SymPy経由
  2. ^ qepcad オプションパッケージ経由

「数式編集」機能を持たないものでも、GUI、プロット機能、ASCIIグラフィック数式、数式フォントの印刷機能を備えている場合があります。プレーンテキストファイルを生成する機能も求められており、数式処理システムをインストールしていない人でも理解できるようになっています。

オペレーティングシステムのサポート

本ソフトウェアは、それぞれのオペレーティングシステムでエミュレーションなしでネイティブに動作します。一部のシステムでは、ソース言語とターゲットプラットフォームに適したコンパイラを使用してコンパイルする必要があります。一部のプラットフォームでは、ソフトウェアの旧リリースしか利用できない場合があります。

システムドスウィンドウズmacOSリナックスBSDソラリスアンドロイドiOSSaaS他の
公理?エミュレータはいはいいいえいいえ??いいえ
カダブラいいえはいはいはいはいいいえいいえいいえはい
ココアいいえはいはいはいはいはい??いいえTru64 UNIX、HP-UX、IRIX
導出するはいはいいいえいいえいいえいいえいいえいいえいいえ
エラブルいいえエミュレータエミュレータエミュレータいいえいいえいいえいいえいいえHP 48 / 49 / 50 / 40シリーズのシステム RPL
オイラー?はいいいえはいいいえいいえ??いいえ
フェルマー?シグウィンはいはいいいえいいえ??いいえ
形状?シグウィンはいはいはいはい??いいえ
金曜日CAS?Cygwin +ネイティブはいはいはいはいはい?いいえ
ギャップ?はいはいはいはいはい??いいえ
カント/カッシュ?はいはいはいいいえいいえ??いいえ
マコーレー2?シグウィンはいはいはいはい??いいえ
マグマ?はいはいはいはいはい??いいえ
マグナスいいえはい?はい?はいいいえいいえいいえサンオス
メープルいいえはいはいはいいいえいいえいいえいいえいいえ
マスキャドはいはいいいえいいえいいえいいえいいえいいえいいえ
マセマティカはいはいはいはいいくつかのいいえいくつかのいくつかのはいラズベリーパイ[24]
マソマティックはいはいはいはいはいはいいいえはいいいえすべてのPOSIXプラットフォーム
マキシマ?はいはいはいはいはいはい?いいえCommon Lispを搭載したすべての POSIX プラットフォーム
ミュマスはいいいえいいえいいえいいえいいえ??いいえ
オープンアクシオム?はいはいはいはいはい??いいえ
PARI/GP?はいはいはいはいはいはい?いいえ
減らすいいえはいはいはいはいはいはいはいいいえ
セージマスいいえはいはいはいいいえはいいいえはいはい
特異?はいはいはいはいはい??いいえ
SMathスタジオいいえはい単核症単核症単核症単核症はいはいはいユニバーサル Windows プラットフォーム
シンボリック数学ツールボックス（MATLAB）いいえはいはいはいいいえいいえいいえいいえはい
シンボリックC++?はいはいはいはいはい??いいえ
シンピ?はいはいはいはいはいはいはいはい[40]Pythonをサポートするあらゆるシステム
TI-Nspire（デスクトップソフトウェア）いいえはいはいいいえいいえいいえいいえはいいいえ
Xcas / GiacいいえはいはいはいはいはいはいはいいいえHP Prime CAS、TI Nspire 用 KhiCAS
ヤカスいいえはいはいはいはいはい??いいえ

グラフ電卓

一部のグラフ電卓には CAS 機能が搭載されています。

システムクリエイター開発開始最初の公開リリース / OSバージョン最新の安定バージョン / OSバージョン注記
カシオ CFX-9970Gカシオコンピュータ株式会社?1998
カシオ アルジェブラ FX 2.0、カシオ アルジェブラ FX 2.0 プラスカシオコンピュータ株式会社?1999
Casio ClassPad 300、Casio ClassPad 300 Plus、Casio ClassPad 330、Casio ClassPad 330 Plus、Casio ClassPad fx-CP400、Casio fx-CG500
Casio ClassPad Manager		カシオコンピュータ株式会社200220033.10.7000 (クラスパッド I)

2.01.7000 (ClassPad II、fx-CG500)

ClassPad Manager は PC 上で動作するエミュレーターです。
HP 49G、HP 49g+、HP 48gII、HP 50g、HP 40G、HP 40gsヒューレット・パッカード19931.??(1999) / 42.15 (2006-09-19, 2009-04-21) / 4Erableをベースにしており、 HP 48S、HP 48SX、HP 48G、HP 48G+、HP 48GXのアドオンとしても利用可能です。エンジニアリングアプリケーションで発生する問題に対処することを目的としています。ソースコードは公開されています。
HPプライムヒューレット・パッカード200020132.1.14433（2020 01 21）CAS版1.5.0Xcas / Giacに基づいています。Xcas のソース コードは公開されていますが、HP Prime の実装は公開されていません。
TI-89テキサス・インスツルメンツ199519962.09
TI-89 チタンテキサス・インスツルメンツ200320042005年7月18日 v3.10
TI-92テキサス・インスツルメンツ19941995?
TI-92 プラステキサス・インスツルメンツ199719982003年3月27日 v2.09
TI-Nspire CAS、TI-Nspire CX CAS、TI-Nspire CX II CASテキサス・インスツルメンツ200620082021 v4.5.5.79 (TI-Nspire CX CAS の場合)、2022 v5.4.0.259 (TI-Nspire CX II CAS の場合)
航海200テキサス・インスツルメンツ200120022005年7月18日 v3.10


参照

参考文献

  1. ^ 「コンピュータ代数ソフトウェア」.記号および代数的操作に関する特別利益団体. 計算機協会. 2008年7月11日. 2012年11月16日閲覧。
  2. ^ 「システムとパッケージ」. Computer Algebra Information Network. 1998年5月7日. 2012年11月17日閲覧。
  3. ^ 「SAC Systems Listing」. SymbolicNet. 2012年4月15日時点のオリジナルよりアーカイブ。2012年11月17日閲覧。
  4. ^ Aladjev, VZ (2004).コンピュータ代数システム：Maple の新しいソフトウェアツールボックス. [Sl]: Fultus Books. p. 9. ISBN 9781596820005。
  5. ^ Labahn, KO Geddes; SR Czapor; G. (1999). コンピュータ代数のためのアルゴリズム (第6版). ボストン: Kluwer. pp. xv. ISBN 9780792392590。{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)
  6. ^ ゲルハルト、ヨアヒム・フォン・ツア・ガーテン;ユルゲン (2003)。現代のコンピューター代数(第 2 版)。ケンブリッジ: ケンブリッジ大学プレス。 4ページ。ISBN 9780521826464。{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)
  7. ^ 最初の日付は最初の商用リリースの日付（確認が必要）、2番目の日付は最初の無料ライセンスの日付です
  8. ^ 「Axiom Computer Algebra System」 . 2016年4月29日閲覧。
  9. ^ “リリース 2.5.14”. 2025年7月31日. 2025年8月15日閲覧。
  10. ^ "リリース - vermaseren/form - GitHub". GitHub。2016 年 4 月 29 日に取得。
  11. ^ “リリース 4.15.1”. 2025年10月18日. 2025年10月18日閲覧。
  12. ^ 「GAP Copyright」. 2012年6月14日. 2015年2月26日閲覧。
  13. ^ ab "GeoGebra License" . 2023年7月15日閲覧。
  14. ^ 「リリース 1.8.9」。
  15. ^ “バージョン10.3.0リリース”. 2025年9月23日. 2025年10月16日閲覧。
  16. ^ 「V2.28-19の変更ログ（2025年2月21日リリース）」。2025年3月12日閲覧。
  17. ^ MacCallum, Malcolm AH (2018). 「重力研究におけるコンピュータ代数」. Living Reviews in Relativity . 21 (1): 6. Bibcode :2018LRR....21....6M. doi : 10.1007/s41114-018-0015-6 . ISSN  2367-3613. PMC 6105178. PMID  30174551 . 
  18. ^ “Maple 2025 を発表”. 2025年3月25日. 2025年11月12日閲覧。
  19. ^ 「Maplesoft Web Store」 . 2019年3月14日閲覧。
  20. ^ 「PTC Webストア」 。 2015年2月1日閲覧。
  21. ^ 「新機能満載：Wolfram Language & Mathematica バージョン14.3のリリース」2025年8月5日。 2025年11月12日閲覧。
  22. ^ Cohen, Peter (2009年2月5日). 「Mathematica Home Editionがリリースされました」. Macworld . 2014年7月3日閲覧。
  23. ^ 「Wolfram Worldwide Web Store」 。 2008年11月20日閲覧。
  24. ^ ab Kastrenakes, Jacob (2013年11月21日). 「Raspberry PiにMathematicaとWolfram Languageが無料で付属」The Verge . 2014年7月3日閲覧。
  25. ^ “Maxima 5.48.1 を発表”. 2025年8月6日. 2025年11月12日閲覧。
  26. ^ "pari-2.17.2 (STABLE) リリース". 2025年3月5日.
  27. ^ 「SourceForge 上の REDUCE ファイル」。
  28. ^ “リリース 10.7”. 2025年8月9日. 2025年8月16日閲覧。
  29. ^ 「Scilab 2026.0.0」 。 2025年10月16日閲覧。
  30. ^ “リリース 4.4.1”. 2025年1月16日. 2025年1月29日閲覧。
  31. ^ 「Wolfram 発表アーカイブ » コンピュータ代数のパイオニアがノーベル賞を受賞」 Wolfram アーカイブ. 1999年10月15日. 2021年1月19日閲覧。
  32. ^ Wolfram, Stephen (1985年4月). 「記号数学計算」(PDF) . Communications of the ACM . 28 (4): 390– 394. doi :10.1145/3341.3347. S2CID  15577857.
  33. ^ “リリース 1.14.0”. 2025年4月27日. 2025年5月1日閲覧。
  34. ^ 「バージョン 2.0.0-15」。2025年10月28日。
  35. ^ 「Xcas ARM」 . 2010年10月12日閲覧。
  36. ^ 「Yacasにこれから大きな変化が訪れる」 。 2011年4月19日閲覧。
  37. ^ “リリース 1.9.1”. 2020年7月4日. 2020年7月5日閲覧。
  38. ^ 「シンボリックテンソル」Mathematicaドキュメント. 2014年7月3日閲覧。
  39. ^ 「SymPy リリースノート 0.7.4」。GitHub 。2014年7月3日閲覧。
  40. ^ SymPy Gamma経由
「https://en.wikipedia.org/w/index.php?title=List_of_computer_algebra_systems&oldid=1321830016#Mathics」より取得