Kira 2.0 implements finite-field coefficient reconstruction for IBP reductions and improved user-equation handling, yielding lower memory use and faster performance on state-of-the-art problems.
GiNaC - Symbolic computation with C++
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We give an introduction to the C++ library GiNaC, which extends the C++ language by new objects and methods for the representation and manipulation of arbitrary symbolic expressions.
fields
hep-ph 1years
2020 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Integral Reduction with Kira 2.0 and Finite Field Methods
Kira 2.0 implements finite-field coefficient reconstruction for IBP reductions and improved user-equation handling, yielding lower memory use and faster performance on state-of-the-art problems.