算法简介

Gosper 算法是一个用来求一些超几何项的离散不定积分的封闭形式的算法。特别地，所求的是一些形如 $$ t_n=P(n)\cdot\dfrac{\prod\limits_{i=1}^s(a_in+b_i)!}{\prod\limits_{i=1}^t(c_in+d_i)!} $$ 的函数的离散不定积分。

形式化地，我们想要求出以另一个超几何项 $z_n$ 满足 $$ z_{n+1}-z_n=t_n.\tag{1} $$

阅读更多……

形如 $q\times 2^k+1$ 的素数，以及它们的最小原根。

阅读更多……

由于 | 符号很难在表格里打出来，所以在打 | 的时候使用了公式来代替单行代码。