コンピューター代数システムの紹介？ [閉まっている]

Question

コンピューター代数システムの一般理論に関するリソース（書籍、クラス、講義ノートなど）を誰もが知っていますか（例： mathematica 、 sympy ）？

<！> quot;入門<！> quot;素材が好まれますが、私はそのような専門的な主題で、何でもかなり進歩するはずだと思います。

Answer 1

<！> quot;一般理論<！> quot; CASの質問は非常に大きな範囲です。そうは言っても、探しているものを見つけるのに何かが役立つと期待して、できる限りカバーするように最善を尽くします：）

ISSACおよびSIGSAMグループの議事録には、CASシステムを構築するためのテクニックに関する良いものがあることは間違いありません。 CAS構築の一般的な分野のさまざまなトピックのリストは、ここで入手できます： http：// www.cs.berkeley.edu/~fateman/algebra.html

関連する数学のいくつかのコーディング方法に関する情報をもっと探しているなら、私は<！> quot; Numerical Recipes <！> quot;のファンです。シリーズ;サンプルコードと、さまざまなトピックでの数学の合理的な説明を提供します。最後に確認したところ、この本の古いリビジョンのオンライン版はここで入手できました： http：// www .nrbook.com / a / bookcpdf.php （これは<！> quot; C <！> quot;の数値レシピ;本の形式であることに注意してください。他の言語のバージョンもあります）

CASを一般的に構築する場合、開始する場所は次のとおりです。<！> quot;共同ツールの構成によるコンピューター代数環境の構築<！> quot;カジラーとサフィール。確認できる別の場所はこちらです： http://www.math.wpi.edu /IQP/BVCalcHist/calc5.html には、数人がCASを実装した方法の概要が記載されています。

他に試すことができるのは、存在するいくつかのオープンソースCASプロジェクトのコードに飛び込むことです：YACAS（Yet Another Computer Algebra System：Java）、Axiomなど。ここにリストがあります： http://en.wikipedia.org/wiki/List_of_computer_algebra_systems

そこに何かあると便利でした！

Answer 2

基本は PAIP で詳しく説明されています。ソースコードは無料オンラインです。特に、名前に「macsyma」が含まれるソースファイルを参照してください。トピックには、書き換えルールシステム、標準形式を使用した簡素化、統合と差別化、および書き換えルールのコンパイルとメモ化による速度向上が含まれます。

Answer 3

K.O。によるコンピューター代数のアルゴリズムを見つけました。 Geddes ...とても便利です。私は、OpenAxiom（CAS）の仕事をしている明るい数学のバックグラウンドを持つ3年生です。重い、重い数学の準備をしなさい、しかし、あなたが<！> quot; stuck <！> quot ;.

探しているもの、興味のある分野などを提案すると役立つ場合があります。

Answer 4

Wikipediaからの1つのリンク：コンピューター代数システム
そして別の場所： http://www.math.wpi.edu/IQP/ BVCalcHist / calc5.html

Answer 5

コンピュータ代数システムの実装に使用されるアルゴリズムを説明する2冊の本があります。

コンピューター代数とシンボリック計算：基本アルゴリズム

コンピューター代数およびシンボリック計算：数学メソッド

これらの書籍を使用して、Scheme（ MPL ）およびC＃（記号）。

Answer 6

質問で SymPy に言及しているため、簡単に説明します。

SymPyのプロジェクトとコミュニティは、実際には非常に優れたリソースです。

1. メーリングリストを定期的にチェックして対応するさまざまな専門知識があります。
2. コードは、 github で公開されています。
3. ドキュメントはかなり完成しており、多くの場合学術的な引用が含まれています。

CASに興味を持っているなら、ぜひ訪れてください。貢献者は、自分が取り組んでいることについて話したいです。興味がある場合は、簡単に開始して、独自の投稿を追加してください。