用于计算线性递减关系格布纳基的 Maple 软件包
符号计算
2009-11-11 v2 数学软件
摘要
描述了一个用于计算线性差分理想格布纳基的 Maple 软件包。该软件包的底层算法基于 Janet 和类似 Janet 的单子划分，与有限差分算子相关联。该软件包可用于自动生成线性偏微分方程的数值格式，以及化简多环路费曼积分。本文通过拉普拉斯方程和单环标量积分（传递器类型）的简单示例来说明这两种可能的应用。
引用
@article{arxiv.cs/0509070,
title = {A Maple Package for Computing Groebner Bases for Linear Recurrence Relations},
author = {Vladimir P. Gerdt and Daniel Robertz},
journal= {arXiv preprint arXiv:cs/0509070},
year = {2009}
}
备注
5 pages, presented at ACAT-2005