Performing integration-by-parts reductions using NeatIBP 1.1 + Kira
收藏Mendeley Data2026-04-09 收录
下载链接：
https://data.mendeley.com/datasets/ms85fpfm7b/2
下载链接
链接失效反馈官方服务：
资源简介：
We introduce a new version v1.1 of NeatIBP. In this new version, a Kira interface is included. It allows the user to reduce the integration-by-parts (IBP) identity systems generated by NeatIBP using Kira in a highly automated way. This new version also implements the so-called spanning cuts method. It helps to reduce the total computational complexity of IBP reduction for certain hard problems. Another important feature of this new version is an algorithm to simplify the solution module of the syzygy equations hinted by the idea of maximal cuts.
提供机构：
Humboldt-Universitat zu Berlin; University of the Chinese Academy of Sciences; University of Science and Technology of China; Technische Universitat Kaiserslautern
