Code optimization in FORM
From MaRDI portal
Publication:312006
DOI10.1016/j.cpc.2014.08.008zbMath1344.65050arXiv1310.7007OpenAlexW2963780349MaRDI QIDQ312006
Publication date: 13 September 2016
Published in: Computer Physics Communications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1310.7007
Related Items
Analytic continuation of massless two-loop four-point functions, Nonperturbative properties of Yang-Mills theories, Predicting Planck scale and Newtonian constant from a Yang-Mills gauge theory: 1- and 2-loop estimates, A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs, On \(\gamma_5\) in higher-order QCD calculations and the NNLO evolution of the polarized valence distribution, Relativistic corrections to the pair \(B_{c}\)-meson production in \(e^{+} e ^{-}\) annihilation, Improving multivariate Horner schemes with Monte Carlo tree search, Lepton flavor violating Higgs boson decays in seesaw models: new discussions, Pentagon functions for scattering of five massless particles, Two-loop corrections to Higgs boson production, Two-loop QCD corrections to the heavy quark form factors: the vector contributions, Systematic low-energy effective theory for magnons and charge carriers in an antiferromagnet, The three-loop splitting functions \(P_{q g}^{(2)}\) and \(P_{g g}^{(2, \operatorname{N}_{\operatorname{F}})}\), The multiple zeta value data mine, Beam functions for \(N\)-jettiness at \(\mathrm{N^3LO}\) in perturbative QCD, Five-loop anomalous dimension of twist-two operators, Expansion by regions with pysecdec, Constituent monopoles through the eyes of fermion zero-modes, Master integrals with one massive propagator for the two-loop electroweak form factor, Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition, Soft photon anomaly and gauge/string duality, Four loop massless propagators: an algebraic evaluation of all master integrals, pySecDec: a toolbox for the numerical evaluation of multi-scale integrals, SecDec: A general program for sector decomposition, Plane-wave matrix theory from \(N=4\) super-Yang-Mills on \(\mathbb{R}\times S^3\), Three-loop anomalous dimension of the non-singlet transversity operator in QCD, On the next-to-next-to-leading order QCD corrections to heavy-quark production in deep-inelastic scattering, DoFun 3.0: functional equations in Mathematica, On the integrability of large \(N\) plane-wave matrix theory, Path description of type B \(q\)-characters, On the next-to-next-to-leading order evolution of flavour-singlet fragmentation functions, FormTracer. A Mathematica tracing package using FORM, Next-to-leading order QCD corrections to paired \(B_{c}\) production in \(e^{+}e^{-}\) annihilation, Large-\(n_{f}\) contributions to the four-loop splitting functions in QCD, A \(Sim(2)\) invariant dimensional regularization, Ninja: automated integrand reduction via Laurent expansion for one-loop amplitudes, On the spectrum of \(pp\)-wave matrix theory, \texttt{Reduze} -- Feynman integral reduction in \texttt{C++}, Cadabra: a field-theory motivated symbolic computer algebra system, On \(\kappa \)-deformation and triangular quasibialgebra structure, Systematic approximation of multi-scale Feynman integrals, NNLO computational techniques: The cases \(H\rightarrow \gamma \gamma \) and \(H\rightarrow gg\), Potential of FORM 4.0, Pentagon functions for one-mass planar scattering amplitudes, Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness, Two-loop mixed QCD-EW corrections to \(q\overline{q}\rightarrow Hg\), \(qg\rightarrow hq\), and \(\overline{q}g\rightarrow H\overline{q}\), Relativistic corrections to \(\eta_c\)-pair production in high energy proton-proton collisions, The analytic value of the sunrise self-mass with two equal masses and the external invariant equal to the third squared mass
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- FORM version 4.0
- Optimising code generation with haggies
- EFFICIENT EVALUATION OF POLYNOMIALS AND THEIR PARTIAL DERIVATIVES IN HOMOTOPY CONTINUATION METHODS
- Generation of optimal code for expressions via factorization
- Greedy algorithms for optimizing multivariate Horner schemes
- Efficient Evaluation of Large Polynomials
