A Maple package for computing groebner bases for linear recurrence relations. 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.
Keywords for this software
References in zbMATH (referenced in 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Zhang, Xiaojing; Chen, Yufu: A strongly-consistent difference scheme for 3D nonlinear Navier-Stokes equations (2021)
- Blinkova, A. Yu.; Blinkov, Yu. A.; Ivanov, S. V.; Mogilevich, L. I.: Nonlinear deformation waves in a geometrically and physically nonlinear viscoelastic cylindrical shell containing viscous incompressible fluid and surrounded by an elastic medium (2015)
- La Scala, Roberto: Gröbner bases and gradings for partial difference ideals (2015)
- Gerdt, Vladimir P.; Robertz, Daniel: A Maple package for computing groebner bases for linear recurrence relations (2005) ioport