计算机代数系统介绍？

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）。