酉群上关于Haar测度的符号积分
Symbolic integration with respect to the Haar measure on the unitary group
摘要：
介绍了Mathematica计算机代数系统的IntU软件包。所提出的软件包进行了符号积分多项式函数的酉群关于唯一的归一化Haar措施。我们描述了一些特殊的情况下，可用于优化某些类的积分的计算速度。我们还提供了一些使用所提出的包的例子。
英文摘要：
We present IntU package for Mathematica computer algebra system. The presented package performs a symbolic integration of polynomial functions over the unitary group with respect to unique normalized Haar measure. We describe a number of special cases which can be used to optimize the calculation speed for some classes of integrals. We also provide some examples of usage of the presented package.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
