Portal de Periódicos da CAPES

Gröbner Bases in Perturbative Calculations

2004; Elsevier BV; Volume: 135; Linguagem: Inglês

10.1016/j.nuclphysbps.2004.09.011

1873-3832

Vladimir P. Gerdt,

Formal Methods in Verification

In this paper we outline the most general and universal algorithmic approach to reduction of loop integrals to basic integrals. The approach is based on computation of Groebner bases for recurrence relations derived from the integration by parts method. In doing so we consider generic recurrence relations when propagators have arbitrary integer powers treated as symbolic variables (indices) for the relations.