Math 计算机代数系统概论？

有人知道关于计算机代数系统的一般理论的任何资源（书籍、课程、课堂讲稿或任何东西）吗

---

“介绍性”材料是首选，但我意识到，有了这样一个专门的主题，任何东西都会相当先进。

这里有一个来自维基百科的链接：

---

还有一个：

我找到了K.O.Geddes的计算机代数算法。。。非常有用。我是一名大三的本科生，有轻微的数学背景，从事OpenAxiom（CAS）的工作。准备好做一些繁重的数学题吧，我最好的建议是写几本书，如果只是为了在你陷入困境时有一个不同的视角

如果你建议你正在研究什么，你感兴趣的领域等，可能会有所帮助。

CAS的“一般理论”是一个相当大的问题范围。话虽如此，我会尽我所能，尽我所能，希望有什么东西能帮助你找到你想要的：）

ISSAC和SIGSAM小组的会议记录无疑会有一些关于构建CAS系统的技术的好东西。CAS大楼一般区域的各种主题列表如下：

如果你想了解更多有关如何编写数学代码的信息，我是“数字配方”系列的粉丝；它提供了示例代码和一个相当不错的数学解释，涵盖了广泛的主题。最后我检查了一下，这里有本书的一个旧版本的在线版本：（注意，这是本书的“C中的数字配方”形式；还有其他语言版本）

一般来说，对于构建CAS，一个起点可能是Kajler和Safir的“通过协作工具的组合构建计算机代数环境”；您可以查看的另一个地方是：这里列出了一些人如何实现CAS的高级描述

您可以尝试的另一件事是深入研究一些现有的开源CAS项目的代码：YACAS（另一个计算机代数系统：Java）、Axiom等。我喜欢下面的列表：

---

希望里面有有用的东西

基本知识都被很好地涵盖了；源代码是——请特别参阅名称中带有“macsyma”的源文件。主题包括重写规则系统、使用规范形式简化、集成和差异化，以及编译和记忆重写规则以提高速度。

您在问题中提到过，因此我将简要介绍一下

SymPy的项目和社区本身就是非常好的资源

有各种各样的专业人员定期检查和响应问题

代码是公开的

报告相当完整，通常包括学术引文

---

如果你对卡斯感兴趣，请来。贡献者喜欢谈论他们在做什么。如果您感兴趣，可以添加您自己的贡献。

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

---

我用这些书实现了Scheme（）和C#（）中的计算机代数库。

谢谢你提供的信息，我会查看链接，也许以后还会再问你更多的信息。