问题描述
有人知道有关计算机代数系统一般理论的任何资源(书籍，课程，讲义或其他内容)(例如 mathematica ，符号)?
Does anybody know of any resources (books, classes, lecture notes, or anything) about the general theory of computer algebra systems (e.g. mathematica, sympy)?
入门"材料是首选，但是我意识到，有了这样一个专门的学科，任何东西都必然会相当先进.
"Introductory" materials are preferred, but I realize that with such a specialized subject anything is bound to be fairly advanced.
推荐答案
CAS的通论"是一个相当大的问题范围.话虽这么说，我会尽我所能，尽我所能，希望有什么可以帮助您找到想要的东西:)
"General Theory" of CAS is a pretty huge scope for a question. That being said, I'll do my best to cover as much as I can in the hopes that something helps you find what you're looking for :)
ISSAC和SIGSAM小组的程序无疑将对构建CAS系统的技术有一些帮助.可在以下位置获得CAS构造一般区域中各种主题的列表: http://www.cs.berkeley.edu/~fateman/algebra.html
The proceedings of the ISSAC and SIGSAM groups would no doubt have some good stuff about techniques for building CAS systems. A list of various topics in the general area of CAS building is available here: http://www.cs.berkeley.edu/~fateman/algebra.html
如果您正在寻找有关如何对涉及的某些数学进行编码的信息，那么我是数字食谱"系列的粉丝；它提供了示例代码，并在广泛的主题中对数学作了合理的解释.最后我检查了一下，该书的较早版本的在线版本可以在这里找到: http://www .nrbook.com/a/bookcpdf.php (请注意，这是本书的"C语言数字食谱"形式；也有其他语言的版本).
If you're more looking for information on how to code some of the math involved, I'm a fan of the "Numerical Recipes" series; it provides sample code and a reasonably decent explanation of math in a wide range of topics. Last I checked, an online version of an older revision of the book was available here: http://www.nrbook.com/a/bookcpdf.php (Note that this is the "Numerical Recipes in C" form of the book; there are versions in other languages as well).
对于一般而言，构建CAS的一个起点可能是:Kajler和Safir撰写的通过协作工具的组合构建计算机代数环境".您可能会在这里检查的另一个地方: http://www.math.wpi.edu /IQP/BVCalcHist/calc5.html ，其中列出了一些人如何实现CAS的高级描述.
For building a CAS in general, one place to start might be here: "Building a computer algebra environment by composition of collaborative tools" by Kajler and Safir; Another place you might check is here: http://www.math.wpi.edu/IQP/BVCalcHist/calc5.html where a high-level description of how a few folks implemented a CAS is listed.
您可能要尝试的另一件事是深入研究现有的一些开放源代码CAS项目的代码:YACAS(又一个计算机代数系统:Java)，Axiom等.我喜欢这里的列表: http://en.wikipedia.org/wiki/List_of_computer_algebra_systems
The other thing you might try is diving into the code for a few of the open source CAS projects that exist: YACAS (Yet Another Computer Algebra System : Java), Axiom, etc. I like the list here: http://en.wikipedia.org/wiki/List_of_computer_algebra_systems
希望那里有用的东西！
这篇关于介绍计算机代数系统?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！