コンピューター代‪数‬

コンピュータ代数とは

コンピュータ代数は、記号計算または代数計算としても知られ、アルゴリズムの研究と開発に関連するコンピュータ科学および数学のサブ分野です。 および数式やその他の数学的オブジェクトを操作する目的のソフトウェア。 コンピューター代数の別名には、代数計算や記号計算などがあります。 科学計算は通常、近似浮動小数点数を使用した数値計算に基づいていますが、シンボリック計算では、値が与えられずシンボルとして操作される変数を含む式による正確な計算に重点が置かれます。 コンピューター代数は科学計算の下位分野とみなされる可能性があるという事実にもかかわらず、一般に 2 つは別個の分野とみなされます。

どのようなメリットがあるか

( I) 以下のトピックに関する洞察と検証:

第 1 章: コンピューター代数

第 2 章: 記号人工知能

第 3 章: 代数幾何学

第 4 章: 自動定理証明

第 5 章: コンピュータ代数システム

第 6 章: コンピュータ支援証明

第 7 章: モデル検査

第 8 章: 証明アシスタント

第 9 章: 記号数値計算

第 10 章: 記号シミュレーション

(II) 質問への回答 コンピューター代数に関する一般公開のトップ質問。

(III) 多くの分野でのコンピューター代数の使用例の実例。

(IV) 266 の新興テクノロジーを簡潔に説明する 17 の付録

本書の対象者

専門家、大学生、大学院生、愛好家 、愛好家、およびあらゆる種類のコンピューター代数に関する基本的な知識や情報を超えたいと考えている人。