计算机代数系统简介？

有没有人知道有关计算机代数系统一般理论的任何资源(书籍,课程,讲义或任何内容)(例如mathematica,sympy)？

"介绍性"材料是首选,但我意识到,对于这样一个专门的主题,任何东西都必定相当先进.

CAS的"一般理论"是一个非常巨大的问题范围.话虽这么说,我会尽我所能尽力覆盖,希望有些东西可以帮助你找到你想要的东西:)

ISSAC和SIGSAM小组的会议无疑会对建立CAS系统的技术有一些好处.CAS建筑的一般区域中的各种主题列表如下:http://www.cs.berkeley.edu/~fateman/algebra.html

如果您更多地寻找有关如何编写一些数学代码的信息,我就是"数字食谱"系列的粉丝; 它提供了示例代码,并在广泛的主题中提供了相当不错的数学解释.最后我查了一下,这本书的旧版本的在线版本可以在这里找到: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

希望那里的东西很有用!

PAIP很好地涵盖了基础知识; 源代码是免费在线的 - 请参阅名称中带有'macsyma'的源文件.主题包括重写规则系统,使用规范形式的简化,集成和区分,以及编译和记忆速度重写规则.

我发现KO Geddes的计算机代数算法非常有用.我是一名初级本科生,拥有轻松的数学背景,在OpenAxiom(CAS)上工作.准备好做一些沉重,沉重的数学,但我最好的建议是,如果你被"卡住",只要有不同的视角就有几本书.

如果您建议您正在研究的内容,您感兴趣的领域等,这可能会有所帮助.