摘要：创造性变换算法: 用于计算 D-有限函数的定义求和和相关证书的算法
作者：Hadrien Brochet and Bruno Salvy
论文ID：2307.07216
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2023-07-17
PDF 下载： 英文版 中文版pdf翻译中