math symbolic 計算機代數係統簡介?




symbolic math toolbox (5)

這裡有兩本書描述了用於實現計算機代數係統的算法:

計算機代數與符號計算:基本算法

計算機代數與符號計算:數學方法

我用這些書來實現Scheme( MPL )和C#( Symbolism )中的計算機代數庫。

有沒有人知道有關計算機代數係統一般理論的任何資源(書籍,課程,講義或任何內容)(例如mathematicasympy )?

“介紹性”材料是首選,但我意識到,對於這樣一個專門的主題,任何東西都必定相當先進。


PAIP很好地涵蓋了基礎知識; 源代碼是免費在線的 - 請參閱名稱中帶有'macsyma'的源文件。 主題包括重寫規則係統,使用規範形式的簡化,集成和區分,以及編譯和記憶速度重寫規則。


你在問題中提到了SymPy ,所以我會簡單地談談。

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

  1. 有各種各樣的專業知識可以定期檢查和響應郵件列表
  2. 該代碼在github上公開提供。
  3. 文檔相當完整,通常包括學術引文。

如果您對CAS感興趣,請加入。 貢獻者喜歡談論他們的工作。 如果您有興趣,可以輕鬆入門並添加自己的貢獻。


CAS的“一般理論”是一個非常巨大的問題範圍。 話雖這麼說,我會盡我所能,盡可能地幫助你找到你想要的東西:)

ISSAC和SIGSAM小組的會議無疑會對建立CAS系統的技術有一些好處。 CAS大樓一般區域的各種主題列表如下: http://www.cs.berkeley.edu/~fateman/algebra.htmlhttp://www.cs.berkeley.edu/~fateman/algebra.html

如果您正在尋找有關如何編寫一些數學代碼的信息,我就是“數字食譜”系列的粉絲; 它提供了示例代碼,並在廣泛的主題中提供了相當不錯的數學解釋。 最後我查了一下,這本書的舊版本的在線版本可以在這裡找到: http://www.nrbook.com/a/bookcpdf.phphttp://www.nrbook.com/a/bookcpdf.php (注意這是本書的“C的數字食譜”形式;還有其他語言的版本)。

對於一般的CAS建設,可以在這裡找到一個地方:Kajler和Safir的“通過協作工具的組合構建計算機代數環境”; 您可以查看的另一個地方是: http://www.math.wpi.edu/IQP/BVCalcHist/calc5.htmlhttp://www.math.wpi.edu/IQP/BVCalcHist/calc5.html ,其中列出了一些人如何實施CAS的高級描述。

您可能嘗試的另一件事是深入研究現有的幾個開源CAS項目的代碼:YACAS(又一個計算機代數係統:Java),Axiom等。我喜歡這裡的列表: http://en.wikipedia.org/wiki/List_of_computer_algebra_systems

希望那裡的東西很有用!