QMeS-Derivation：用于函数方程符号推导的Mathematica软件包
QMeS-Derivation: Mathematica package for the symbolic derivation of functional equations
摘要：
我们介绍了Mathematica软件包QMeS-Derivation。它从给定的主方程导出符号函数方程。后者包括泛函重整化群方程、Dyson-Schwinger方程、Slavnov-Taylor和沃德恒等式以及它们在动量截断下的修正。这些模块允许导出函数方程，取函数导数，跟踪场空间，应用给定的截断方案，并在跟踪费米子对易关系产生的前因子和符号的同时进行动量路由。该软件包还包含一个安装程序以及Mathematica笔记本与展示示例。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
