对于国内计算机代数计算发展的一些看法

 

对于国内计算机代数计算发展的一些看法。

       事情原由是这样子的，本来想找一下计算机是怎么实现微分的算法的，然后就网上找了一圈，没想到，这对于计算机来说是一种符号运算，区别于计算机擅长的数值运算，也可以简单的说，对于计算机来说，符号运算是连续的，精确的运算，而数值运算是离散的，有误差的运算。这对于计算机来说，无疑是很难的，找了国内清华大学出版的王东明教授的《计算书代数》看了看，相对有所了解了，浏览完之后大概知道了符号运算的复杂性，里面牵涉了很多高深的数学算法，多项式的分解，群，环，理想，希尔伯特分解等等，看完之后只是觉得复杂，然后还是没找到我所需要的东西。然后我就有找了一些英语书籍，在《modern computer algebra》[1]中的第23章发现了一些足迹，大概是通过极限定义求得。但还是没有解决心中的疑惑。总结下来，计算机代数是这样子的流程，对于一个表达式来说，也就是多项式来说，先进行树的分解，树的节点是算符，树的叶子是“元”，进而通过这种方式进行符号运算，那么对于微分，我想应该是先有一个库，这个库里面包含了一些基本函数的求导法则，比如指数函数，对数函数，三角函数等，对每一个基本函数单元，执行求导法则，比如幂函数运算，求导一次，指数下来并且减一。我想应该是通过这种方法来实现的。

      在这个寻找算法的过程中，发现国内对这块的资源相当短缺，研究也相当匮乏，国际上的大型符号计算软件，maple,mathematic，还有matlab，还有现在的python的符号计算库，看他们的资料，每一本资料下面都罗列非常多的研究论文来支撑这个符号计算软件，就比如是这个样子的：

是好几页，好几页的成果。而反观我们国内，目前找到一个2007年清华的一个学生小组的研究，并且上线了一个测试程序，https://mathmu.github.io/MTCAS/doc/FindRoot.html。

研究了2年，再没有更新了，其差别之大，可管中窥豹兮。

     关于符号计算的书籍，如果要看，我浏览了基本书籍中，大概还是推荐这本《modern computer algebra》和国内清华大学的《计算机代数》对着看，这是大有裨益的。看一下modern这本书的结构，示意如下：

参考资料：

[1]王东明, 夏壁灿, 李子明. 计算机代数[M/OL]. 清华大学出版社, 2007[2021–03–26]. https://book.douban.com/subject/2281623/.

[2]李超, 阮威, 张龙, 等. 计算机代数系统的数学原理[M/OL]. 清华大学出版社, 2010[2021–03–26]. https://book.douban.com/subject/5346530/.

[3]Touretzky D S. Common lisp[M/OL]. Dover Publications, 2013[2021–03–26]. https://book.douban.com/subject/11238123/.

[4]Cohen J S. Computer alegebra and symbolic computation: mathematical methods[M]. Natick, Mass: AK Peters, 2003.

[5]Anonymous. Computer algebra 2006: latest advances in symbolic algorithms: proceedings of the waterloo workshop in computer algebra 2006, ontario, canada, 10-12 april 2006[M]. Kotsireas I, Zima E V, Abramov S A, eds.. Singapore ; Hackensack, NJ: World Scientific, 2007.

[6]Seiler W M. Computer algebra and di erential equations an overview[J]. [no date]: 28. .

[7]Tournier E 编. Computer algebra and differential equations[M/OL]. [2021–03–26]. https://book.douban.com/subject/3981765/.

[8]Cohen J S. Computer algebra and symbolic computation, elementary algorithms[J]. [no date]: 344. .

[9]Ascher U M, Petzold L R. Computer methods for ordinary di erential equations and di erential-algebraic equations[J]. [no date]: 330. .

[10]Harris F E. Computers, science, and engineering[M/OL]//Mathematics for Physical Science and Engineering. Elsevier, 2014: 1–42[2021–03–26]. https://linkinghub.elsevier.com/retrieve/pii/B9780128010006000018. DOI:10.1016/B978-0-12-801000-6.00001-8.

[11]Wang D ; W. Differential equations with symbolic computation (trends in mathematics)[M/OL]. Birkhäuser Basel, 2005[2021–03–26]. https://book.douban.com/subject/4015545/.

[12]Gathen J Von Zur, Gerhard J. Modern computer algebra[M/OL]. Cambridge University Press, 2003[2021–03–26]. https://book.douban.com/subject/2691152/.

[13]Anonymous. Symbolic-numeric computation: international workshop on symbolic-numeric computation held in xi’an, china during july 19-21, 2005[M]. Wang D, Zhi L, SNC, eds.. Basel: Birkhäuser, 2007.

[14]Trott M. The mathematica guidebook for symbolics[M]. New York: Springer, 2006.