Calculating three-loop diagrams in Heavy Quark Effective Theory with integration-by-parts recurrence relations
An algorithm for calculation of three-loop propagator diagrams in HQET, based on integration-by-parts recurrence relations, is constructed and implemented as a REDUCE package Grinder, and in Axiom.