计算机代数系统简介？[关闭]

Question

有人知道有关计算机代数系统一般理论的任何资源（书籍、课程、讲义或任何东西）吗？ 数学, 同情)?

“入门”材料是首选，但我意识到对于这样一个专业主题，任何东西都必然是相当先进的。

Answer 1

“通论” CAS的是一个问题，一个非常巨大的空间。话虽这么说，我会尽我所能，以覆盖尽可能多的，因为我可以在希望的东西可以帮助你找到你要找的内容：）

在ISSAC和SIGSAM组的议事程序无疑有关于构建CAS系统技术的一些好东西。在中科院的建设总面积的各种主题的列表，请访问：的http：// www.cs.berkeley.edu/~fateman/algebra.html

如果你正在寻找更多关于如何编写一些有关数学的信息，我的“数值分析”系列的粉丝;它提供了示例代码和数学的一个范围广泛的议题相当体面的解释。上次我检查，这本书的旧版本的在线版本可以在这里找到： HTTP：// WWW .nrbook.com /一个/ bookcpdf.php （注意，这是该书的“数值中的配方C”形式;有版本在其他语言）

。

对于一般建设一个CAS，一个地方开始可能会在这里：由Kajler和萨菲尔“通过协作工具的组成构建计算机代数环境”;你可能要检查的地方是在这里： http://www.math.wpi.edu /IQP/BVCalcHist/calc5.html 其中的几个人如何实现的一个CAS高级描述中列出。

您可以尝试的另一件事是潜入几个开源项目CAS中存在的代码：YACAS（然而，另一个计算机代数系统：JAVA），公理，等我喜欢这里的列表：的 http://en.wikipedia.org/wiki/List_of_computer_algebra_systems

希望东西在里面是有益的！

Answer 2

的基础知识被很好地覆盖在 PAIP ;源代码是免费在线 - 在名称中看到“MACSYMA”特别的源文件。主题包括重写规则系统，使用简化正则形式，整合和分化，并编译和memoizing重写规则速度。

Answer 3

我发现算法通过K.O。计算机代数格迪斯......是相当有用的。我是一个大三本科生与光的数学背景上做OpenAxiom（一个CAS）工作。准备好一些沉重，沉重的数学虽然，我最好的建议是，有一对夫妇的书籍如果只是有不同的观点，如果你得到“卡壳”。

如果你认为你正在寻找成什么可能有帮助，哪些领域你有兴趣，等等。

Answer 4

下面是维基百科的一个链接：计算机代数系统结果 而另一位在这里： http://www.math.wpi.edu/IQP/ BVCalcHist / calc5.html

Answer 5

这里有两本书描述了用于实现计算机代数系统的算法：

计算机代数和符号计算：基本算法

计算机代数和符号计算：数学方法

我用这些书在Scheme中实现了计算机代数库（多普勒) 和 C# (象征主义).

Answer 6

你所说的 SymPy 在你的问题所以我就讲到，简要介绍。

该项目和社区的SymPy本身实际上是非常良好的资源。

1. 有各种各样的专门知识，定期检查和响应 邮件列表.
2. 代码是公开提供 上。.
3. 的 文档 是相当完整，并往往包括学术引文。

如果你有兴趣卡斯来吧。捐助者喜欢谈论他们的工作。如果你有兴趣这是 容易得到的开始 并添加自己的贡献。