計算機代數系統介紹？

Question

有人知道關於計算機代數系統的一般理論（例如mathematica,sympy）的任何資源（書籍，課程，講義或其他）嗎？

「介紹」材料是首選，但我意識到，有了這樣一個專業主題，任何事情都必然會相當先進。

Answer 1

「通論」 CAS的是一個問題，一個非常巨大的空間。這就是說，我會盡我所能，以儘可能多的希望，以幫助你找到你想要的東西:)

ISSAC和SIGSAM小組的程序無疑會有一些關於構建CAS系統的技術的好東西。 CAS大樓一般區域中的各種主題列表可在此處獲得：http://www.cs.berkeley.edu/~fateman/algebra.html

如果您更想查找有關如何編寫一些涉及的數學的信息，我是「Numerical Recipes」的粉絲，系列;它提供了範例代碼和對廣泛主題中數學的合理解釋。最後我檢查了一下這本書的舊版本的在線版本可以在這裏找到：http://www.nrbook.com/a/bookcpdf.php（請注意，這是本書的「C中的數字食譜」形式;也有其他語言的版本）。

對於建立一個CAS一般來說，一個地方可能在這裏：「由合作工具構建計算機代數環境」由Kajler和Safir;您可能會檢查的另一個地方是：http://www.math.wpi.edu/IQP/BVCalcHist/calc5.html列出了幾個人如何實施CAS的高級描述。

您可能嘗試的另一件事是潛入一​​些開源CAS項目存在的代碼：YACAS（又一代計算機代數系統：Java），Axiom等。我喜歡這裏的列表：http://en.wikipedia.org/wiki/List_of_computer_algebra_systems

希望在那裏有用！

Answer 2

這裏是維基百科的一個鏈接：Computer Algebra Systems
而另一位在這裏：http://www.math.wpi.edu/IQP/BVCalcHist/calc5.html

Answer 3

我發現算法研究K.O。計算機代數Geddes ......非常有用。我是一名具有輕微數學背景的青年大學生，在OpenAxiom（CAS）上工作。準備好一些沉重而沉重的數學，但我最好的建議是有幾本書，如果你只是有一個不同的觀點，如果你「卡住」。

，如果你建議你正在研究什麼，哪些地方你感興趣的可能有幫助，等

Answer 4

在PAIP很好地涵蓋的基本知識;源代碼是free online - 特別要查看名稱中帶有「macsyma」的源文件。主題包括重寫規則系統，使用規範形式的簡化，集成和差異化，編譯和記錄重寫速度規則。

Answer 5

你在你的問題中提到SymPy，所以我會簡單說一下。

SymPy項目和社區本身實際上是非常好的資源。

1. 有各種專業知識，定期檢查和響應mailing list。
2. 該代碼公開可用on github。
3. documentation相當完整，通常包含學術引用。

如果你對CASs有興趣，貢獻者喜歡談論他們的工作。如果你有興趣，它是easy to get started並添加你自己的貢獻。

Answer 6

這裏有兩本書，其中描述了用於實現計算機代數系統算法：

Computer Algebra and Symbolic Computation: Elementary Algorithms

Computer Algebra and Symbolic Computation: Mathematical Methods

我用這些書來落實方案的計算機代數（MPL）和C＃庫（ Symbolism）。