online - symbolic math toolbox




計算機代數係統簡介? (4)

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

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


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

希望那裡的東西很有用!


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


我發現KO Geddes的計算機代數算法非常有用。 我是一名初級本科生,擁有輕鬆的數學背景,在OpenAxiom(CAS)上工作。 準備好做一些沉重,沉重的數學,但我最好的建議是,如果你被“卡住”,只要有不同的視角就有幾本書。

如果您建議您正在研究的內容,您感興趣的領域等,這可能會有所幫助。