A Maple package for computing Gröbner bases for linear recurrence relations
Abstract
A Maple package for computing Gröbner bases of linear difference ideals is described. The underlying algorithm is based on Janet and Janet-like monomial divisions associated with finite difference operators. The package can be used, for example, for automatic generation of difference schemes for linear partial differential equations and for reduction of multiloop Feynman integrals. These two possible applications are illustrated by simple examples of the Laplace equation and a one-loop scalar integral of propagator type.
- Publication:
-
Nuclear Instruments and Methods in Physics Research A
- Pub Date:
- April 2006
- DOI:
- 10.1016/j.nima.2005.11.171
- arXiv:
- arXiv:cs/0509070
- Bibcode:
- 2006NIMPA.559..215G
- Keywords:
-
- Computer Science - Symbolic Computation;
- Computer Science - Mathematical Software;
- I.1.4
- E-Print:
- 5 pages, presented at ACAT-2005