符号求和的项代数、规范表示与差分环理论
符号计算
2021-05-04 v3
摘要
本文给出用于符号求和的现有差分环理论的总体概述。特别着重于用户接口：相应表示在项代数与形式差分环设定之间的翻译与回译。具体而言，利用可用的差分环理论，探究了所引入项代数中的规范（唯一）表示及其细化。在此基础上，给出了求和包 Sigma 中可用工具的精确输入输出规范。
引用
@article{arxiv.2102.01471,
title = {Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation},
author = {Carsten Schneider},
journal= {arXiv preprint arXiv:2102.01471},
year = {2021}
}
备注
Various typos removed; improved presentation II