また，数式処理システムに向けた計算アルゴリズムを研究する分野の名称も数式処理（あるいは computer algebra の直訳として計算機代数）と呼ぶ。 具体的な数式処理システムの製品については数式処理システムの一覧を参照されたい。 数式処理システムは、一般に次のような数・数式を表現、保持や演算処理できる。...

本項は数式処理システムの一覧（すうしきしょりシステムのいちらん）である。 その他にも、Python上で動作する「SymPy」もある。 ネイティブコードで動くオペレーティングシステム（エミュレートを除く）。 [脚注の使い方] ^ “Releases - vermaseren/form - GitHub”...

スライダーなどの直観的な操作を備えたGUI ユーザインタフェースを追加するためのツールキット データ、画像、動画、音声、CAD、GIS (地理情報システム)、ワープロ文書、医用データ形式の入出力 数式の表示と LaTeX 文書の埋め込み Twisted によるネットワーク経由のSQL、Java、.NET Framework、C++、FORTRANの利用ツール...

実行結果表示 playback(all); ^ 竹内薫2007『はじめての数式処理ソフト---Maximaで楽しむ数式計算と物理グラフィック』講談社:21-2 数値解析ソフトの比較 数値解析ソフトウェアの一覧 数式処理システムの一覧 主な応用数値解析ソフトウェア Maple Mathematica...

符号理論 最適化問題 Sage - 数学関連のフリーソフトウェアのパッケージ 数式処理システムの一覧 ^ 原田 昌晃、木田 雅成 (2012年). “計算機代数のためのソフトウェアMagma”. 一般社団法人 日本数式処理学会. 2020年7月3日閲覧。 ^ Cannon J. (2006年7月)....

Maple（メイプル）は、カナダの Waterloo Maple Inc.（英語版）（以下 Maplesoft）によって開発されている数式処理ソフトウェアである。Maple は、記号計算、数値解析、データ処理、統計処理、可視化などを行うことができる。数学（四則演算、微積分、常微分方程式、偏微分方程式、数論、群論、グラフ理論、...

0-387-97855-0, ISBN 3-540-97855-0 (1992). ※ 開発がNAGに移った後に出た解説書。システム名は大文字で"AXIOM"となっている． 数式処理システムの一覧 ^ Axiom 公式ホームページ ^ Axiom パッチ公開ページ ^ "Axiom Computer Algebra...

、現在は修正BSDライセンスにしたがった利用、配布が認められている。また Sourceforge において開発が続けられている。 ポータル FLOSS 数式処理システムの一覧 Anthony C. Hearn による REDUCE ホームページ REDUCE on Sourceforge 表示 編集...

訳『群論の味わい　置換群で解き明かすルービックキューブと15パズル』共立出版、2010年12月10日。ISBN 978-4-320-01941-6。  数式処理システムの一覧 Sage (数式処理システム) (GAP を利用している) GAP の遊び方 (PDF) GAPを使ってみよう (PDF) 公式ウェブサイト（英語） GAP...

の開発は、Gert-Martin Greuel、Gerhard Pfister、Hans Schönemann の3人により1984年に始まった。 ポータル FLOSS 数式処理システムの一覧 カイザースラウテルン SINGULAR website PLURAL website Interface from GAP to Singular...

処理言語。付属するソフトウェアScicosを用いてダイアグラム操作で視覚的にシステムフロー図を描いてシステムダイナミクスシミュレーションが可能。INRIAが開発。 Ox言語 - 行列計算のために作られたベクトル処理言語。フリーウェア。オックスフォード大学が開発。 Maxima - 数式処理システム。MITのMacsyma直系のGNU...

ウルフラム・リサーチの創始者であるスティーブン・ウルフラムと彼のチームは、1986年から新たな数式処理システムの開発を開始し、1988年にその最初のバージョンをリリースした。ウルフラムは当初、このシステムをOmega、のちにPolyMathと呼んでいたが、当時NeXT社の社長であったステ...

MATLAB互換を指向され、CAE ポスト処理に強みを持つ。 Gretl：経済分析の為に使われるフリーソフト。 Mathematica：数式の計算処理に幅広く使われる有料ソフト。 Maple：数式の計算、グラフ作成などに幅広く使われる有料ソフト。 Maxima：数式の計算処理に幅広く使われるフリーソフト。 IGOR...

多くの数学的な一揃いのものは数式処理を用いる数式処理システムである。それらは人が読める記号法において古典的な代数方程式と問題を解くよう設計されている。 多くのツールがデータの統計的な解析のために利用できる。 ユニバーサル・テクニカル・システムズ,Inc.（英：Universal Technical...

関数電卓やプログラム電卓に数式処理やグラフ処理能力を加えたのがグラフ電卓である。関数電卓を電卓として更に進化させたものといえる。関数電卓・プログラム電卓の基本機能に加え、数式処理やグラフ描写などを行える（グラフ描写しか行えない機種も存在する）。数式処理システムにより因数分解や微積分などの数式...

数式、グラフィックス、あるいはこれらの組合せを操作するアプリケーションもある。ワードプロセッサのように特定の作業に特化することで強力な計算能力を提供するものもあれば、個々の作業をこなす能力は低くても、いくつかのアプリケーションを統合したソフトウェアもある。 組み込みシステム...

いくつかのグラフ電卓は、記号的な結果を出すことのできる数式処理システム (CAS) を備えている。これは代数式を扱い、因数分解、展開、簡単化などの操作を行える。またこれにより、数値的な近似のない正しい答えを出すことができる。数式処理システムを持つ計算機は 記号またはCAS 計算機と呼ばれる。CAS計算機には...

は、1968年から1982年までMITの Project MAC の一環として開発された数式処理システムであり、その後商用化された。世界初の数式処理システムで、初期のエキスパートシステムの1つであり、その様々なアイデアが後の Mathematica や Maple といったシステムに影響を与えた。...

数式処理システムである。販売元のSciFace等よりダウンロードで入手することができ、Windows、Linux、MacOS、Solaris などのプラットフォームで動作する。 数式処理以外に、充実した2次元および3次元のグラフィック表示や、数値計算なども行うことができる。 現在は商用のシステム...

GiNaCとは、GPLのもとでリリースされているフリーの数式処理のためのC++ライブラリである。名称は、GiNacは数式処理システムではない（GiNaC is Not a Computer Algebra System）の再帰的頭字語である。この事実と異なる名称は、GNUプロジェクトをさりげなく言及...

にしたがった利用と配布が認められているフリーソフトウェアである。 Yacas は計算機代数の演算を行うシステムであるため、数式の記号操作ができる。また記号計算および任意精度の数値計算を行うための独自のプログラミング言語処理系を備えている。多くの数式処理操作を実装したスクリプトのライブラリを持っており、新たに実装したアルゴリズ...

と述べている。日本語では「ラテック」あるいは「ラテフ」と呼ばれる。 LaTeX以前に、“TeX”という名の数式の処理に優れる組版ソフトウェアがあり、そのTeXを使ってもっと簡単に論文やレポートを作成したいという要望があった。LaTeXはその要望に応えて開発され...

Tpic) は、LaTeX文書に数式処理システム(CAS)で作成した図を挿入することができるマクロパッケージである。現在は、Maple 版、Mathematica 版、Scilab 版およびMaxima 版が開発されている。 TeX ファイルと同じフォントが使用できる。 ステレオグラムを容易に作図できる。...

数式処理システムの記号計算（代数処理）では、たとえば a + b という式はそういう記号による式のまま表現し、たとえばその3倍は代数法則に従い 3a + 3b のように処理するので、任意の計算可能数を無限の精度で「表現」できるが、任意精度演算とは異なったものである。しかし、個々の数式処理システム...

数式を記述するためのマークアップ言語である。単体では数式の記述しかできないため、文書として利用するにはXHTMLに埋め込んでXHTML文書として扱うなどする。 コンピュータ上で数式を記述する要求はウェブが普及する前からあった。なかでもTeXは有名でかつよく使われており、数式...

グレブナー基底を求めるアルゴリズムとしては、ブッフベルガーアルゴリズム（英: Buchberger's algorithm）があり、数式処理の分野での連立代数方程式の解法として使われている。また、可換環論、代数幾何、微分方程式論、整数計画問題などに出てくる様々な数学的対象物を構成するための基礎となっている。...

終結式は、数論で広く用いられている。有理係数あるいは多項式係数の2つの多項式の終結式はコンピュータで効率的に計算できる。それは計算機代数（英語版）の基本的なツールであり、たいていの数式処理システムの組み込み関数である。それはとりわけ、柱形代数分解（英語版） (CAD), 有理関数の逆微分、二変数代数方程式によって定義された曲線の描画に対して使われる。...

に付属の数式エディタなど、オフィススイートの一部として既存のワープロソフトと組み合わせて使われるものも多い。高度なものになると、Mathematica のようにシンボリック計算の結果がグラフとして生成されるソフトもあるが、これらは通常数式処理システムと呼ばれ、編集・表示および組版に重きを置いた数式エディタとは区別される。...

Mathematica や Maple のような数式処理システム（記号処理システム）は多くの場合に浮動小数点数値の計算機能も含むので数値計算用途にも（性能や効率を問わなければ）一応は使える。SageMath は数値計算と数式処理計算の両方を備えた統合システムである。また、簡単な問題であればMicrosoft...

イスの機能を有している。MATLABは、主に、数値計算を扱う事ができるが、追加のオプションSymbolic Math Toolboxを使うことで、数式処理の能力を得ることができる。2019年時点でMATLABのユーザー数は400万人を超えており、100,000 以上の企業・政府・大学で、工学・理学・経済学など幅広い分野に利用されている。...

グをサポートしている。QEDエディタは正規表現検索をサポートし、一部のバージョンのTECOでは、検索でOR演算子をサポートしている。 数式処理システムは通常、代数式のパターンマッチングをサポートしている。 ^ https://wiki.haskell.org/Declaration_vs._expression_style...