Code optimization in FORM
From MaRDI portal
Abstract: We describe the implementation of output code optimization in the open source computer algebra system FORM. This implementation is based on recently discovered techniques of Monte Carlo tree search to find efficient multivariate Horner schemes, in combination with other optimization algorithms, such as common subexpression elimination. For systems for which no specific knowledge is provided it performs significantly better than other methods we could compare with. Because the method has a number of free parameters, we also show some methods by which to tune them to different types of problems.
Recommendations
Cites work
- Efficient evaluation of large polynomials
- EFFICIENT EVALUATION OF POLYNOMIALS AND THEIR PARTIAL DERIVATIVES IN HOMOTOPY CONTINUATION METHODS
- FORM version 4.0
- Generation of optimal code for expressions via factorization
- Greedy algorithms for optimizing multivariate Horner schemes
- scientific article; zbMATH DE number 5344975 (Why is no real title available?)
- scientific article; zbMATH DE number 5542185 (Why is no real title available?)
- Optimising code generation with haggies
Cited in
(55)- Constituent monopoles through the eyes of fermion zero-modes
- Master integrals with one massive propagator for the two-loop electroweak form factor
- Plane-wave matrix theory from \(N=4\) super-Yang-Mills on \(\mathbb{R}\times S^3\)
- On the integrability of large N plane-wave matrix theory
- The analytic value of the sunrise self-mass with two equal masses and the external invariant equal to the third squared mass
- Analytic continuation of massless two-loop four-point functions
- FormTracer. A Mathematica tracing package using FORM
- Systematic approximation of multi-scale Feynman integrals
- SecDec: A general program for sector decomposition
- 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
- Pentagon functions for one-mass planar scattering amplitudes
- 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
- Predicting Planck scale and Newtonian constant from a Yang-Mills gauge theory: 1- and 2-loop estimates
- Lepton flavor violating Higgs boson decays in seesaw models: new discussions
- The three-loop splitting functions \(P_{q g}^{(2)}\) and \(P_{g g}^{(2, \operatorname{N}_{\operatorname{F}})}\)
- Pentagon functions for scattering of five massless particles
- DoFun 3.0: functional equations in Mathematica
- 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
- scientific article; zbMATH DE number 3876581 (Why is no real title available?)
- Improving multivariate Horner schemes with Monte Carlo tree search
- Making the Long Code Shorter
- Path description of type B \(q\)-characters
- Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
- A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
- 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
- Potential of FORM 4.0
- Ninja: automated integrand reduction via Laurent expansion for one-loop amplitudes
- Expression optimization using high-level knowledge
- \texttt{Reduze} -- Feynman integral reduction in \texttt{C++}
- Optimising code generation with haggies
- Beam functions for \(N\)-jettiness at \(\mathrm{N^3LO}\) in perturbative QCD
- Expansion by regions with pysecdec
- Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
- The multiple zeta value data mine
- pySecDec: a toolbox for the numerical evaluation of multi-scale integrals
- Five-loop anomalous dimension of twist-two operators
- Soft photon anomaly and gauge/string duality
- Four loop massless propagators: an algebraic evaluation of all master integrals
- Generating Elementary Integrable Expressions
- On the next-to-next-to-leading order evolution of flavour-singlet fragmentation functions
- Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems
- A \(Sim(2)\) invariant dimensional regularization
- On the spectrum of \(pp\)-wave matrix theory
- Three-loop ladder diagrams with two off-shell legs
- Cadabra: a field-theory motivated symbolic computer algebra system
- Nonperturbative properties of Yang-Mills theories
- 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
- On \(\kappa \)-deformation and triangular quasibialgebra structure
- NNLO computational techniques: The cases \(H\rightarrow \gamma \gamma \) and \(H\rightarrow gg\)
This page was built for publication: Code optimization in FORM
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q312006)
