QMeS-Derivation: Mathematica package for the symbolic derivation of functional equations

We present the Mathematica package QMeS-Derivation. It derives symbolic functional equations from a given master equation. The latter include functional renormalisation group equations, Dyson-Schwinger equations, Slavnov-Taylor and Ward identities and their modifications in the presence of momentum cutoffs. The modules allow to derive the functional equations, take functional derivatives, trace over field space, apply a given truncation scheme, and do momentum routings while keeping track of prefactors and signs that arise from fermionic commutation relations. The package furthermore contains an installer as well as Mathematica notebooks with showcase examples.