level 13
御坂5286⚡
楼主
pV/n.
这事实上应该隶属计算机科学和计算数学方面的东西。利用这个算法理论上能够解决不少涉及阶乘、组合数,或者进一步推广后,q-series的部分的求和/级数的封闭表达。它就是把一个计算方法的复杂性转化为计算时间复杂度,所以更加便于机器解决。这个帖子只介绍基本的一些框架,至于深入讨论将不会被概括(因为我看不懂+非此方向)。
参考文献:
1.Gosper R W. Decision procedure for indefinite hypergeometric summation.[J]. Proceedings of the National Academy of Sciences of the United States of America, 1978, 75(1):40-42.
2. Marko Petkovsek, Herbert Wilf and Doron Zeilberger, "A=B", https://www.math.upenn.edu/~wilf/AeqB.html
2018年06月12日 13点06分
1
这事实上应该隶属计算机科学和计算数学方面的东西。利用这个算法理论上能够解决不少涉及阶乘、组合数,或者进一步推广后,q-series的部分的求和/级数的封闭表达。它就是把一个计算方法的复杂性转化为计算时间复杂度,所以更加便于机器解决。这个帖子只介绍基本的一些框架,至于深入讨论将不会被概括(因为我看不懂+非此方向)。
参考文献:
1.Gosper R W. Decision procedure for indefinite hypergeometric summation.[J]. Proceedings of the National Academy of Sciences of the United States of America, 1978, 75(1):40-42.
2. Marko Petkovsek, Herbert Wilf and Doron Zeilberger, "A=B", https://www.math.upenn.edu/~wilf/AeqB.html















