An efficient procedure deciding positivity for a class of holonomic functions
An efficient procedure deciding positivity for a class of holonomic functions
复制标题
确定一类完整函数正性的有效过程
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
M. Schussler
中科院分区：
文献类型：
--
作者：
V. Pillwein;M. Schussler
我们提出了一种有效的决策程序，用于对满足任意阶递推的一类完整序列进行正性判定。
We present an efficient decision procedure for positivity on a class of holonomic sequences satisfying recurrences of arbitrary order.