摘要：现有符号求和的差分环理论的概述。重点放在用户界面上：在项代数和形式差分环设置中相应表示的转换和反转换。特别是，利用现有的差分环理论来探索引入的项代数中的规范（唯一）表示及其细化。在此基础上，提供了求和包Sigma中可用工具的精确输入-输出规范。
作者：Carsten Schneider
论文ID：2102.01471
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2021-05-04
PDF 下载： 英文版 中文版pdf翻译中