pith. machine review for the scientific record. sign in

arxiv: 2008.06494 · v2 · pith:CPQU6ZLUnew · submitted 2020-08-14 · ✦ hep-ph · hep-th

Integral Reduction with Kira 2.0 and Finite Field Methods

Jonas Klappert , Fabian Lange , Philipp Maierh\"ofer , Johann Usovitsch This is my paper

Pith reviewed 2026-05-18 00:07 UTC · model grok-4.3

classification ✦ hep-ph hep-th
keywords Feynman integralsintegration-by-parts reductionfinite field methodscoefficient reconstructionmulti-loop calculationsFireFlyKira
0
0 comments X

The pith

Kira 2.0 reconstructs the final coefficients of integration-by-parts reductions using finite field methods and FireFly.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces Kira version 2.0 for reducing Feynman integrals via integration-by-parts relations. Its central advance is reconstructing the exact rational coefficients through finite field sampling and interpolation with the FireFly library instead of traditional exact arithmetic. This change supports MPI parallelization across clusters and cuts main memory requirements for large problems. The update also strengthens support for user-supplied equation systems, allowing Kira to handle custom reductions or direct amplitude calculations. Benchmarks on realistic multi-loop cases show lower memory use and faster run times than prior versions.

Core claim

Kira 2.0 performs reconstruction of the final coefficients in integration-by-parts reductions by means of finite field methods with the help of FireFly. The procedure runs in parallel on computer clusters with MPI. Support for user-provided systems of equations is significantly improved, providing flexibility for specialized reduction formulas, direct reduction of amplitudes, or arbitrary linear systems. Examples and benchmarks from state-of-the-art problems demonstrate reduced main memory usage and improved performance.

What carries the argument

Finite field sampling and reconstruction via FireFly, which evaluates the linear system over finite fields and interpolates the results to obtain exact rational coefficients.

If this is right

  • Coefficient reconstruction for large IBP systems becomes feasible with lower main memory.
  • Parallel execution on MPI clusters speeds up the final reconstruction stage.
  • User-provided equation systems can be reduced directly without conversion to standard Feynman integral bases.
  • Direct reduction of scattering amplitudes or other linear systems is now supported inside the same framework.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same finite-field workflow could be applied to linear systems outside particle physics, such as those in algebraic geometry or control theory.
  • Combining finite-field reconstruction with modular techniques might allow even higher loop orders before memory limits are reached.
  • The MPI parallelization opens the door to hybrid workflows that mix Kira reductions with external amplitude generators on distributed hardware.

Load-bearing premise

Finite-field sampling and reconstruction recover the exact rational coefficients for the integration-by-parts systems that arise in realistic multi-loop problems without additional verification steps.

What would settle it

Run a known multi-loop reduction problem with both the new finite-field path and a traditional exact-arithmetic path; any mismatch in the final rational coefficients would falsify the claim.

read the original abstract

We present the new version 2.0 of the Feynman integral reduction program Kira and describe the new features. The primary new feature is the reconstruction of the final coefficients in integration-by-parts reductions by means of finite field methods with the help of FireFly. This procedure can be parallelized on computer clusters with MPI. Furthermore, the support for user-provided systems of equations has been significantly improved. This mode provides the flexibility to integrate Kira into projects that employ specialized reduction formulas, direct reduction of amplitudes, or to problems involving linear system of equations not limited to relations among standard Feynman integrals. We show examples from state-of-the-art Feynman integral reduction problems and provide benchmarks of the new features, demonstrating significantly reduced main memory usage and improved performance w.r.t. previous versions of Kira.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript presents Kira 2.0, an update to the Feynman integral reduction program Kira. The primary new feature is the reconstruction of final coefficients in integration-by-parts reductions using finite-field methods with FireFly, which supports MPI parallelization on clusters. Support for user-provided systems of equations is significantly improved, allowing integration with specialized reduction formulas or direct amplitude reductions. The paper shows examples from state-of-the-art multi-loop problems and provides benchmarks claiming reduced main memory usage and improved performance compared to previous versions.

Significance. If the finite-field reconstruction is shown to recover exact rational coefficients reliably, the work provides a practical advance for handling computationally intensive IBP reductions in multi-loop calculations. Reduced memory footprint and MPI support address key bottlenecks in the field, enabling larger problems on standard hardware. The manuscript gives credit to the underlying FireFly library and supplies concrete benchmark results, which are strengths for a software-focused contribution.

major comments (1)
  1. [Finite-field reconstruction and benchmarks sections] The central claim that finite-field sampling plus rational reconstruction via FireFly yields the exact rational coefficients for realistic multi-loop IBP systems is load-bearing but unverified in the reported results. The manuscript should include an explicit cross-check (e.g., substitution of a reconstructed coefficient back into the original IBP system over the rationals) for at least one of the state-of-the-art examples to confirm that the chosen primes avoid all denominators and that the a-priori degree bounds supplied to FireFly are sufficient.
minor comments (2)
  1. [Abstract] The abstract asserts reduced memory usage and improved performance but supplies no quantitative numbers, comparison tables, or references to specific figures or tables that would allow readers to assess the magnitude of the gains.
  2. [Throughout the manuscript] Acronyms such as IBP and MPI should be defined at first use to improve accessibility for readers outside the immediate subfield.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address the major comment below and will incorporate the suggested verification in the revised version.

read point-by-point responses

  1. Referee: [Finite-field reconstruction and benchmarks sections] The central claim that finite-field sampling plus rational reconstruction via FireFly yields the exact rational coefficients for realistic multi-loop IBP systems is load-bearing but unverified in the reported results. The manuscript should include an explicit cross-check (e.g., substitution of a reconstructed coefficient back into the original IBP system over the rationals) for at least one of the state-of-the-art examples to confirm that the chosen primes avoid all denominators and that the a-priori degree bounds supplied to FireFly are sufficient.

    Authors: We agree that an explicit cross-check strengthens the central claim. While the correctness of finite-field reconstruction with FireFly is established in the referenced literature and our benchmarks demonstrate agreement with known results from previous Kira versions, we acknowledge that a direct substitution verification for the state-of-the-art examples was not included in the original manuscript. In the revised version, we will add such a cross-check for at least one multi-loop example (e.g., the two-loop five-point integral family), confirming that a reconstructed coefficient satisfies the original IBP system over the rationals and that the chosen primes and degree bounds are adequate. revision: yes

Circularity Check

0 steps flagged

No circularity: software implementation and benchmarks with no self-referential derivation chain

full rationale

The manuscript describes the Kira 2.0 implementation, its integration of FireFly for finite-field coefficient reconstruction in IBP reductions, support for user-provided equation systems, and performance benchmarks on state-of-the-art examples. No mathematical derivation is presented in which a claimed result (prediction, uniqueness theorem, or first-principles outcome) is obtained by fitting parameters to a subset of the target data or by self-citation that reduces the central claim to an unverified input. The reconstruction procedure is an algorithmic technique whose correctness is asserted via empirical benchmarks rather than by construction from the paper's own equations or prior self-citations. The work is therefore self-contained as a tool description.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the assumption that finite-field methods can be applied to IBP systems without loss of exact rational information and that the FireFly library correctly implements the required reconstruction.

axioms (1)
  • domain assumption Finite-field sampling followed by rational reconstruction recovers exact coefficients for the linear systems generated by integration-by-parts identities.
    Invoked when the paper states that final coefficients are reconstructed by finite-field methods.

pith-pipeline@v0.9.0 · 5663 in / 1123 out tokens · 58326 ms · 2026-05-18T00:07:34.737175+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 16 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The perturbative Ricci flow in gravity

    hep-th 2026-04 unverdicted novelty 8.0

    A perturbative Ricci-flow formulation in gravity yields a renormalization scheme for Newton's constant that exhibits a non-Gaussian fixed point at two-loop order.

  2. Learning to Unscramble Feynman Loop Integrals with SAILIR

    hep-ph 2026-04 unverdicted novelty 8.0

    A self-supervised transformer learns to unscramble Feynman integrals for online IBP reduction, delivering bounded memory use on complex two-loop topologies while matching Kira's speed on the hardest cases tested.

  3. The photon-energy spectrum in $B\to X_s\gamma$ to N$^3$LO: light-fermion and large-$N_{\rm c}$ corrections

    hep-ph 2026-03 unverdicted novelty 8.0

    N3LO calculation of the B to Xs gamma photon spectrum including complete light-fermion corrections, two massive fermion loops, and large-Nc terms, with improved results in kinetic and MSR mass schemes.

  4. Two-loop leading-color QCD corrections for Higgs plus two-jet production in the heavy-top limit

    hep-ph 2026-05 unverdicted novelty 7.0

    Analytic expressions for the finite remainders of two-loop leading-color helicity amplitudes in Higgs plus two-jet production are obtained in the heavy-top effective theory using numerical unitarity and a new partial-...

  5. Next-to-next-to-leading QCD corrections to the $\mathbf{B^+}$-$\mathbf{B_d^0}$, $\mathbf{D^+}$-$\mathbf{D^0}$, and $\mathbf{D_s^+}$-$\mathbf{D^0}$ lifetime ratios

    hep-ph 2026-04 conditional novelty 7.0

    Three-loop perturbative corrections to B and D meson lifetime ratios are calculated, producing values that agree with experiment when using HQET sum rules or lattice inputs.

  6. Loop integrals in de Sitter spacetime: The parity-split IBP system and $\mathrm{d}\log$-form differential equations

    hep-th 2026-04 unverdicted novelty 7.0

    A parity-split IBP system for n-propagator families in de Sitter space is identified, along with a conjecture that dlog-form differential equations extend to dS integrands with Hankel functions, verified for the one-l...

  7. Next-to-next-to-next-to-leading order QCD corrections to photon-pair production

    hep-ph 2026-04 unverdicted novelty 7.0

    N³LO QCD predictions for photon-pair production are presented, demonstrating perturbative convergence.

  8. Feynman integral reduction by covariant differentiation

    hep-ph 2026-04 unverdicted novelty 7.0

    Covariant differentiation on the dual vector space spanned by master integrals reduces a large class of Feynman integrals to masters, with connections reusable across mass configurations.

  9. Discrete symmetries of Feynman integrals

    hep-th 2026-04 unverdicted novelty 7.0

    Discrete symmetries of Feynman integral families correspond to permutations of Feynman parameters and induce group actions on twisted cohomology whose characters are Euler characteristics of fixed-point sets, yielding...

  10. Feynman integral reduction with intersection theory made simple

    hep-th 2026-04 unverdicted novelty 7.0

    Branch representation reduces the variable count for intersection-theory-based Feynman integral reduction to at most 3L-3 for L-loop integrals regardless of leg number.

  11. Two-loop all-plus helicity amplitudes for self-dual Higgs boson with gluons via unitarity cut constraints

    hep-ph 2025-11 unverdicted novelty 7.0

    Two-loop all-plus helicity amplitudes for self-dual Higgs plus gluons are obtained via four-dimensional unitarity cuts into one-loop and tree amplitudes plus finite-field tensor reduction.

  12. Double virtual QCD corrections to $t\bar{t}+$jet production at the LHC

    hep-ph 2025-11 unverdicted novelty 7.0

    Leading-colour two-loop virtual amplitudes for ttbar+jet are extracted analytically via finite-field evaluations and differential equations, then packaged in a C++ library with new numerical integration techniques.

  13. Planar master integrals for two-loop NLO electroweak light-fermion contributions to $g g \rightarrow Z H$

    hep-ph 2026-04 unverdicted novelty 6.0

    Analytic expressions for the planar master integrals in two-loop NLO EW light-fermion contributions to gg → ZH are derived via canonical differential equations and expressed using Goncharov polylogarithms or one-fold ...

  14. Progress on the soft anomalous dimension in QCD

    hep-ph 2026-04 unverdicted novelty 6.0

    A lightcone-expansion strategy using Wilson-line correlators and the Method of Regions yields the three-loop soft anomalous dimension for QCD amplitudes with one massive colored particle and arbitrary massless ones.

  15. SubTropica

    hep-th 2026-04 unverdicted novelty 5.0

    SubTropica is a software package that automates symbolic integration of linearly-reducible Euler integrals via tropical subtraction, supported by HyperIntica and an AI-driven Feynman integral database.

  16. Three loop QCD corrections to electroweak radiative parameters

    hep-ph 2026-04 unverdicted novelty 4.0

    Three-loop QCD corrections to electroweak radiative parameters Δρ, Δr, and Δκ are computed, yielding an updated W boson mass prediction relevant for FCC precision targets.

Reference graph

Works this paper leans on

86 extracted references · 86 canonical work pages · cited by 16 Pith papers · 30 internal anchors

  1. [1]

    S. Amoroso et al.,Les Houches 2019: Physics at TeV Colliders: Standard Model Working Group Report, in11th Les Houches Workshop on Physics at TeV Colliders: PhysTeV Les Houches, 3, 2020,2003.01700

    work page arXiv 2019

  2. [2]

    J. M. Henn,Multiloop Integrals in Dimensional Regularization Made Simple, Phys. Rev. Lett.110 (2013) 251601 [1304.1806]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  3. [3]

    Magnus and Dyson Series for Master Integrals

    M. Argeri, S. Di Vita, P. Mastrolia, E. Mirabella, J. Schlenk, U. Schubert et al., Magnus and Dyson series for Master Integrals, JHEP 03 (2014) 082 [1401.2979]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  4. [4]

    On the Computation of Form Factors in Massless QCD with Finite Master Integrals

    A. von Manteuffel, E. Panzer and R. M. Schabinger,Computation of form factors in massless QCD with finite master integrals, Phys. Rev. D93 (2016) 125014 [1510.06758]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  5. [5]

    Moriello,Generalised power series expansions for the elliptic planar families of Higgs + jet production at two loops, JHEP 01 (2020) 150 [1907.13234]

    F. Moriello,Generalised power series expansions for the elliptic planar families of Higgs + jet production at two loops, JHEP 01 (2020) 150 [1907.13234]

    work page arXiv 2020

  6. [6]

    Hidding,DiffExp, a Mathematica package for computing Feynman integrals in terms of one-dimensional series expansions, 2006.05510

    M. Hidding,DiffExp, a Mathematica package for computing Feynman integrals in terms of one-dimensional series expansions, 2006.05510

    work page arXiv 2006

  7. [7]

    Towards a Basis for Planar Two-Loop Integrals

    J. Gluza, K. Kajda and D. A. Kosower,Towards a basis for planar two-loop integrals, Phys. Rev. D83 (2011) 045012 [1009.0472]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  8. [8]

    R. M. Schabinger,A new algorithm for the generation of unitarity-compatible integration by parts relations, JHEP 01 (2012) 077 [1111.4220]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  9. [9]

    Two-loop Integrand Decomposition into Master Integrals and Surface Terms

    H. Ita,Two-loop integrand decomposition into master integrals and surface terms, Phys. Rev. D94 (2016) 116015 [1510.05626]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  10. [10]

    J. Böhm, A. Georgoudis, K. J. Larsen, M. Schulze and Y. Zhang,Complete sets of logarithmic vector fields for integration-by-parts identities of Feynman integrals, Phys. Rev. D98 (2018) 025023 [1712.09737]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  11. [11]

    D. A. Kosower,Direct solution of integration-by-parts systems, Phys. Rev.D98 (2018) 025008 [1804.00131]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  12. [12]

    von Manteuffel, E

    A. von Manteuffel, E. Panzer and R. M. Schabinger,Cusp and Collinear Anomalous Dimensions in Four-Loop QCD from Form Factors, Phys. Rev. Lett.124 (2020) 162001 [2002.04617]

    work page arXiv 2020

  13. [13]

    K. J. Larsen and Y. Zhang,Integration-by-parts reductions from unitarity cuts and algebraic geometry, Phys. Rev. D93 (2016) 041701 [1511.01071]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  14. [14]

    J. Böhm, A. Georgoudis, K. J. Larsen, H. Schönemann and Y. Zhang,Complete integration-by-parts reductions of the non-planar hexagon-box via module intersections, JHEP 09 (2018) 024 [1805.01873]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  15. [15]

    Bendle, J

    D. Bendle, J. Böhm, W. Decker, A. Georgoudis, F.-J. Pfreundt, M. Rahn et al., Integration-by-parts reductions of Feynman integrals using Singular and GPI-Space, JHEP 02 (2020) 079 [1908.04301]. 24

    work page arXiv 2020

  16. [16]

    Feynman Integrals and Intersection Theory

    P. Mastrolia and S. Mizera,Feynman integrals and intersection theory, JHEP 02 (2019) 139 [1810.03818]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  17. [17]

    Decomposition of Feynman Integrals on the Maximal Cut by Intersection Numbers

    H. Frellesvig, F. Gasparotto, S. Laporta, M. K. Mandal, P. Mastrolia, L. Mattiazzi et al.,Decomposition of Feynman integrals on the maximal cut by intersection numbers, JHEP 05 (2019) 153 [1901.11510]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  18. [18]

    Frellesvig, F

    H. Frellesvig, F. Gasparotto, M. K. Mandal, P. Mastrolia, L. Mattiazzi and S. Mizera, Vector Space of Feynman Integrals and Multivariate Intersection Numbers, Phys. Rev. Lett. 123 (2019) 201602 [1907.02000]

    work page arXiv 2019

  19. [19]

    Weinzierl,On the computation of intersection numbers for twisted cocycles, 2002.01930

    S. Weinzierl,On the computation of intersection numbers for twisted cocycles, 2002.01930

    work page arXiv 2002

  20. [20]

    Frellesvig, F

    H. Frellesvig, F. Gasparotto, S. Laporta, M. K. Mandal, P. Mastrolia, L. Mattiazzi et al.,Decomposition of Feynman Integrals by Multivariate Intersection Numbers, 2008.04823

    work page arXiv 2008

  21. [21]

    A novel approach to integration by parts reduction

    A. von Manteuffel and R. M. Schabinger,A novel approach to integration by parts reduction, Phys. Lett. B744 (2015) 101 [1406.4513]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  22. [22]

    Scattering amplitudes over finite fields and multivariate functional reconstruction

    T. Peraro,Scattering amplitudes over finite fields and multivariate functional reconstruction, JHEP 12 (2016) 030 [1608.01902]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  23. [23]

    A. V. Smirnov and F. S. Chukharev,FIRE6: Feynman Integral REduction with modular arithmetic, Comput. Phys. Commun.247 (2020) 106877 [1901.07808]

    work page arXiv 2020

  24. [24]

    Klappert and F

    J. Klappert and F. Lange,Reconstructing rational functions with FireFly, Comput. Phys. Commun. 247 (2020) 106951 [1904.00009]

    work page arXiv 2020

  25. [25]

    FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs

    T. Peraro,FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs, JHEP 07 (2019) 031 [1905.08019]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  26. [26]

    Klappert, S

    J. Klappert, S. Y. Klein and F. Lange,Interpolation of dense and sparse rational functions and other improvements in FireFly, Comput. Phys. Commun.264 (2021) 107968 [2004.01463]

    work page arXiv 2021

  27. [27]

    A Systematic and Efficient Method to Compute Multi-loop Master Integrals

    X. Liu, Y.-Q. Ma and C.-Y. Wang,A systematic and efficient method to compute multi-loop master integrals, Phys. Lett. B779 (2018) 353 [1711.09572]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  28. [28]

    Determine Arbitrary Feynman Integrals by Vacuum Integrals

    X. Liu and Y.-Q. Ma,Determining arbitrary Feynman integrals by vacuum integrals, Phys. Rev. D99 (2019) 071501 [1801.10523]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  29. [29]

    Y. Wang, Z. Li and N. ul Basat,Direct reduction of multiloop multiscale scattering amplitudes, Phys. Rev. D101 (2020) 076023 [1901.09390]

    work page arXiv 2020

  30. [30]

    X. Guan, X. Liu and Y.-Q. Ma,Complete reduction of integrals in two-loop five-light-parton scattering amplitudes, Chin. Phys. C 44 (2020) 093106 [1912.09294]

    work page arXiv 2020

  31. [31]

    High-precision calculation of multi-loop Feynman integrals by difference equations

    S. Laporta,High-precision calculation of multiloop Feynman integrals by difference equations, Int.J.Mod.Phys. A15 (2000) 5087 [hep-ph/0102033]

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  32. [32]

    Automatic Integral Reduction for Higher Order Perturbative Calculations

    C. Anastasiou and A. Lazopoulos,Automatic integral reduction for higher order perturbative calculations, JHEP 07 (2004) 046 [hep-ph/0404258]. 25

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  33. [33]

    Reduze 2 - Distributed Feynman Integral Reduction

    A. von Manteuffel and C. Studerus,Reduze 2 – Distributed Feynman Integral Reduction, 1201.4330

    work page internal anchor Pith review Pith/arXiv arXiv

  34. [34]

    A. V. Smirnov,FIRE5: A C++ implementation of Feynman Integral REduction, Comput. Phys. Commun.189 (2015) 182 [1408.2372]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  35. [35]

    Kira - A Feynman Integral Reduction Program

    P. Maierhöfer, J. Usovitsch and P. Uwer,Kira—A Feynman integral reduction program, Comput. Phys. Commun.230 (2018) 99 [1705.05610]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  36. [36]

    MPI Forum,Message Passing Interface, https://www.mpi-forum.org

    work page

  37. [37]

    R. V. Harlander, Y. Kluth and F. Lange,The two-loop energy–momentum tensor within the gradient-flow formalism, Eur. Phys. J.C78 (2018) 944 [1808.09837]

    work page arXiv 2018

  38. [38]

    J. Artz, R. V. Harlander, F. Lange, T. Neumann and M. Prausa,Results and techniques for higher order calculations within the gradient-flow formalism, JHEP 06 (2019) 121 [1905.00882]

    work page arXiv 2019

  39. [39]

    R. V. Harlander, F. Lange and T. Neumann,Hadronic vacuum polarization using gradient flow, JHEP 08 (2020) 109 [2007.01057]

    work page arXiv 2020

  40. [40]

    F. V. Tkachov,A theorem on analytical calculability of 4-loop renormalization group functions, Phys. Lett. B100 (1981) 65

    work page 1981

  41. [41]

    K. G. Chetyrkin and F. V. Tkachov,Integration by parts: The algorithm to calculate β-functions in 4 loops, Nucl. Phys. B192 (1981) 159

    work page 1981

  42. [42]

    Differential Equations for Two-Loop Four-Point Functions

    T. Gehrmann and E. Remiddi,Differential equations for two-loop four-point functions, Nucl. Phys. B580 (2000) 485 [hep-ph/9912329]

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  43. [43]

    R. H. Lewis,Computer Algebra System Fermat, https://home.bway.net/lewis

    work page

  44. [44]

    Kauers,Fast Solvers for Dense Linear Systems, Nucl

    M. Kauers,Fast Solvers for Dense Linear Systems, Nucl. Phys. B Proc. Suppl.183 (2008) 245

    work page 2008

  45. [45]

    Finding Linear Dependencies in Integration-By-Parts Equations: A Monte Carlo Approach

    P. Kant,Finding linear dependencies in integration-by-parts equations: A Monte Carlo approach, Comput. Phys. Commun.185 (2014) 1473 [1309.7287]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  46. [46]

    de Kleine, M

    J. de Kleine, M. Monagan and A. Wittkopf,Algorithms for the Non-monic Case of the Sparse Modular GCD Algorithm, Proc. Int. Symp. Symbolic Algebraic Comp. 2005 (2005) 124

    work page 2005

  47. [47]

    Zippel,Probabilistic algorithms for sparse polynomials, Symbolic Algebraic Comp

    R. Zippel,Probabilistic algorithms for sparse polynomials, Symbolic Algebraic Comp. EUROSAM 1979 (1979) 216

    work page 1979

  48. [48]

    Ben-Or and P

    M. Ben-Or and P. Tiwari,A Deterministic Algorithm for Sparse Multivariate Polynomial Interpolation, Proc. ACM Symp. Theory Comp.20 (1988) 301

    work page 1988

  49. [49]

    Kaltofen and Lakshman Y.,Improved Sparse Multivariate Polynomial Interpolation Algorithms, Symbolic Algebraic Comp

    E. Kaltofen and Lakshman Y.,Improved Sparse Multivariate Polynomial Interpolation Algorithms, Symbolic Algebraic Comp. ISSAC1988 (1989) 467

    work page 1989

  50. [50]

    Zippel,Interpolating Polynomials from their Values, J

    R. Zippel,Interpolating Polynomials from their Values, J. Symb. Comp.9 (1990) 375. 26

    work page 1990

  51. [51]

    Kaltofen, W.-s

    E. Kaltofen, W.-s. Lee and A. A. Lobo,Early Termination in Ben-Or/Tiwari Sparse Interpolation and a Hybrid of Zippel’s Algorithm, Proc. Int. Symp. Symbolic Algebraic Comp. 2000 (2000) 192

    work page 2000

  52. [52]

    Kaltofen and W.-s

    E. Kaltofen and W.-s. Lee,Early termination in sparse interpolation algorithms, J. Symb. Comp. 36 (2003) 365

    work page 2003

  53. [53]

    Cuyt and W.-s

    A. Cuyt and W.-s. Lee,Sparse interpolation of multivariate rational functions, Theor. Comp. Sci. 412 (2011) 1445

    work page 2011

  54. [54]

    P. S. Wang,A p-adic Algorithm for Univariate Partial Fractions, Proc. ACM Symp. Symbolic Algebraic Comp.1981 (1981) 212

    work page 1981

  55. [55]

    Monagan,Maximal Quotient Rational Reconstruction: An Almost Optimal Algorithm for Rational Reconstruction, Proc

    M. Monagan,Maximal Quotient Rational Reconstruction: An Almost Optimal Algorithm for Rational Reconstruction, Proc. Int. Symp. Symbolic Algebraic Comp. 2004 (2004) 243

    work page 2004

  56. [56]

    von zur Gathen and J

    J. von zur Gathen and J. Gerhard,Modern Computer Algebra. Cambridge University Press, third ed., 2013, 10.1017/CBO9781139856065

    work page doi:10.1017/cbo9781139856065 2013

  57. [57]

    R. A. DeMillo and R. J. Lipton,A probabilistic remark on algebraic program testing, Inf. Process. Lett.7 (1978) 193

    work page 1978

  58. [58]

    J. T. Schwartz,Fast Probabilistic Algorithms for Verification of Polynomial Identities, J. ACM 27 (1980) 701

    work page 1980

  59. [59]

    Evans et al.,jemalloc memory allocator, http://jemalloc.net

    J. Evans et al.,jemalloc memory allocator, http://jemalloc.net

    work page

  60. [60]

    Maierhöfer and J

    P. Maierhöfer and J. Usovitsch,Kira 1.1 Release Notes, https://kira.hepforge.org/downloads?f=papers/kira-release-notes-1.1.pdf

    work page

  61. [61]

    Kira 1.2 Release Notes

    P. Maierhöfer and J. Usovitsch,Kira 1.2 Release Notes, 1812.01491

    work page internal anchor Pith review Pith/arXiv arXiv

  62. [62]

    Sabbah,Lieu des pôles d’un système holonome d’équations aux différences finies, Bulletin de la Société Mathématique de France120 (1992) 371

    C. Sabbah,Lieu des pôles d’un système holonome d’équations aux différences finies, Bulletin de la Société Mathématique de France120 (1992) 371

    work page 1992

  63. [63]

    A. V. Smirnov and V. A. Smirnov,How to choose master integrals, Nucl. Phys. B 960 (2020) 115213 [2002.08042]

    work page arXiv 2020

  64. [64]

    Usovitsch,Factorization of denominators in integration-by-parts reductions, 2002.08173

    J. Usovitsch,Factorization of denominators in integration-by-parts reductions, 2002.08173

    work page arXiv 2002

  65. [65]

    C. G. Papadopoulos, D. Tommasini and C. Wever,Two-loop master integrals with the simplified differential equations approach, JHEP 01 (2015) 072 [1409.6114]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  66. [66]

    All orders structure and efficient computation of linearly reducible elliptic Feynman integrals

    M. Hidding and F. Moriello,All orders structure and efficient computation of linearly reducible elliptic Feynman integrals, JHEP 01 (2019) 169 [1712.04441]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  67. [67]

    C. G. Papadopoulos and C. Wever,Internal reduction method for computing Feynman integrals, JHEP 02 (2020) 112 [1910.06275]

    work page arXiv 2020

  68. [68]

    A. G. Grozin,Heavy Quark Effective Theory, Springer Tracts Mod. Phys.201 (2004) 1. 27

    work page 2004

  69. [69]

    Frellesvig, R

    H. Frellesvig, R. Bonciani, V. Del Duca, F. Moriello, J. Henn and V. Smirnov, Non-planar two-loop Feynman integrals contributing to Higgs plus jet production, PoS LL2018 (2018) 076

    work page 2018

  70. [70]

    Intel Corporation,Intel ® MPI Library, https://software.intel.com/content/www/us/en/develop/tools/mpi-library.html

    work page

  71. [71]

    Pakkanen,The Meson Build system, https://mesonbuild.com

    J. Pakkanen,The Meson Build system, https://mesonbuild.com

    work page

  72. [72]

    Martin,Ninja, https://ninja-build.org

    E. Martin,Ninja, https://ninja-build.org

    work page

  73. [73]

    GNU Project,Autotools, https://www.gnu.org/software/automake/manual/html_node/Autotools- Introduction.html

    work page

  74. [74]

    Bauer, A

    C. Bauer, A. Frink, R. B. Kreckel et al.,GiNaC is not a CAS, https://www.ginac.de

    work page

  75. [75]

    Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language

    C. Bauer, A. Frink and R. Kreckel,Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language, J. Symb. Comput.33 (2002) 1 [cs/0004015]

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  76. [76]

    GiNaC - Symbolic computation with C++

    J. Vollinga,GiNaC: Symbolic computation with C++, Nucl. Instrum. Meth.A559 (2006) 282 [hep-ph/0510057]

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  77. [77]

    Haible and R

    B. Haible and R. B. Kreckel,CLN - Class Library for Numbers, https://www.ginac.de/CLN

    work page

  78. [78]

    Gailly and M

    J.-l. Gailly and M. Adler,zlib, https://zlib.net

    work page

  79. [79]

    GNU Project,GNU Multiple Precision Arithmetic Library, https://gmplib.org

    work page

  80. [80]

    GNU Project,GNU Multiple Precision Floating-Point Reliable Library, https://www.mpfr.org

    work page

Showing first 80 references.