D-有限函数定和基于约化的创造性望远镜法
符号计算
2023-11-21 v2
摘要
创造性望远镜法是由 Zeilberger 发起的一种算法方法，通过综合可望远镜化的被加项（称为证书）来计算定和。我们描述了一种创造性望远镜算法，该算法以紧凑形式计算 D-有限函数定和的望远镜算子以及相应的证书。该算法依赖于广义 Hermite 约化的离散类比，或等价地，Abramov-Petkovšek 约化的推广。我们提供了一个 Maple 实现，在多种例子上取得了良好的计时表现。
引用
@article{arxiv.2307.07216,
title = {Reduction-Based Creative Telescoping for Definite Summation of D-finite Functions},
author = {Hadrien Brochet and Bruno Salvy},
journal= {arXiv preprint arXiv:2307.07216},
year = {2023}
}
备注
15 pages