39

コンピュータ代数システムの一般理論 ( mathematica、sympy など)に関するリソース (書籍、クラス、講義ノートなど) を知っている人はいますか?

「入門」の教材が好まれますが、そのような専門的な科目では、何でもかなり高度になるはずです.

4

6 に答える 6

35

CASの「一般理論」は、質問のかなり大きな範囲です。そうは言っても、何かがあなたが探しているものを見つけるのに役立つことを願って、私はできる限りカバーするために最善を尽くします:)

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

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

一般的なCASの構築については、ここから始めることができます。KajlerとSafirによる「コラボレーションツールの合成による数式処理環境の構築」。あなたがチェックするかもしれないもう一つの場所はここにあります：http：//www.math.wpi.edu/IQP/BVCalcHist/calc5.htmlここに少数の人々がCASをどのように実装したかについての高レベルの説明がリストされています。

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

そこにある何かが役に立ったことを願っています！

于 2008-12-08T08:57:32.210 に答える
8

基本はPAIPでうまくカバーされています。ソース コードはオンラインで無料です。特に、名前に 'macsyma' が含まれるソース ファイルを参照してください。トピックには、書き換え規則システム、標準形式を使用した単純化、統合と微分、および高速化のための書き換え規則のコンパイルとメモ化が含まれます。

于 2008-12-08T09:12:46.530 に答える
6

KO Geddes による Algorithms for computer algebra が非常に役立つことがわかりました。私は OpenAxiom (CAS) に関する作業を行っている軽い数学のバックグラウンドを持つ中学生です。ただし、非常に重い数学の準備をしてください。私の最善のアドバイスは、「行き詰まった」場合に別の視点を持つためだけに、数冊の本を持っていることです.

調べていること、興味のある分野などを教えていただけると助かります。

于 2008-12-08T07:55:14.770 に答える
3

ウィキペディアからの 1 つのリンクを次に示します: Computer Algebra Systems
と別のリンク: http://www.math.wpi.edu/IQP/BVCalcHist/calc5.html

于 2008-12-08T07:32:20.040 に答える
3

コンピュータ代数システムの実装に使用されるアルゴリズムについて説明している 2 冊の本を次に示します。

コンピューター代数と記号計算: 初等アルゴリズム

コンピューター代数と記号計算: 数学的方法

これらの書籍を使用して、Scheme ( MPL ) と C# ( Symbolism )でコンピューター代数のライブラリを実装しました。

于 2013-04-01T02:07:27.600 に答える
2

質問でSymPyについて言及されているので、簡単に説明します。

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

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

CASに興味のある方は是非お越しください。コントリビューターは、自分が取り組んでいることについて話すのが好きです。興味がある場合は、簡単に開始して独自の投稿を追加できます。

于 2012-10-06T15:17:33.277 に答える