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
- scientific article; zbMATH DE number 5344975 (Why is no real title available?)
- scientific article; zbMATH DE number 5542185 (Why is no real title available?)
- EFFICIENT EVALUATION OF POLYNOMIALS AND THEIR PARTIAL DERIVATIVES IN HOMOTOPY CONTINUATION METHODS
- Efficient evaluation of large polynomials
- FORM version 4.0
- Generation of optimal code for expressions via factorization
- Greedy algorithms for optimizing multivariate Horner schemes
- Optimising code generation with haggies
Cited in
(54)- Predicting Planck scale and Newtonian constant from a Yang-Mills gauge theory: 1- and 2-loop estimates
- Nonperturbative properties of Yang-Mills theories
- Analytic continuation of massless two-loop four-point functions
- Pentagon functions for scattering of five massless particles
- Making the Long Code Shorter
- Two-loop mixed QCD-EW corrections to \(q\overline{q}\rightarrow Hg\), \(qg\rightarrow hq\), and \(\overline{q}g\rightarrow H\overline{q}\)
- Four loop massless propagators: an algebraic evaluation of all master integrals
- pySecDec: a toolbox for the numerical evaluation of multi-scale integrals
- Ninja: automated integrand reduction via Laurent expansion for one-loop amplitudes
- Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
- FormTracer. A Mathematica tracing package using FORM
- The multiple zeta value data mine
- Five-loop anomalous dimension of twist-two operators
- Two-loop corrections to Higgs boson production
- Systematic low-energy effective theory for magnons and charge carriers in an antiferromagnet
- Expression optimization using high-level knowledge
- Cadabra: a field-theory motivated symbolic computer algebra system
- NNLO computational techniques: The cases \(H\rightarrow \gamma \gamma \) and \(H\rightarrow gg\)
- A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
- Master integrals with one massive propagator for the two-loop electroweak form factor
- Beam functions for \(N\)-jettiness at \(\mathrm{N^3LO}\) in perturbative QCD
- On the spectrum of \(pp\)-wave matrix theory
- Pentagon functions for one-mass planar scattering amplitudes
- The analytic value of the sunrise self-mass with two equal masses and the external invariant equal to the third squared mass
- Path description of type B \(q\)-characters
- 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
- On the next-to-next-to-leading order QCD corrections to heavy-quark production in deep-inelastic scattering
- Soft photon anomaly and gauge/string duality
- DoFun 3.0: functional equations in Mathematica
- On the next-to-next-to-leading order evolution of flavour-singlet fragmentation functions
- Constituent monopoles through the eyes of fermion zero-modes
- Potential of FORM 4.0
- 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
- scientific article; zbMATH DE number 3876581 (Why is no real title available?)
- Improving multivariate Horner schemes with Monte Carlo tree search
- \texttt{Reduze} -- Feynman integral reduction in \texttt{C++}
- Optimising code generation with haggies
- Two-loop QCD corrections to the heavy quark form factors: the vector contributions
- On \(\kappa \)-deformation and triangular quasibialgebra structure
- Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems
- Systematic approximation of multi-scale Feynman integrals
- Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
- Three-loop anomalous dimension of the non-singlet transversity operator in QCD
- The three-loop splitting functions \(P_{q g}^{(2)}\) and \(P_{g g}^{(2, \operatorname{N}_{\operatorname{F}})}\)
- Expansion by regions with pysecdec
- Lepton flavor violating Higgs boson decays in seesaw models: new discussions
- Generating Elementary Integrable Expressions
- Large-\(n_{f}\) contributions to the four-loop splitting functions in QCD
- Next-to-leading order QCD corrections to paired \(B_{c}\) production in \(e^{+}e^{-}\) annihilation
- Relativistic corrections to \(\eta_c\)-pair production in high energy proton-proton collisions
- SecDec: A general program for sector decomposition
- A \(Sim(2)\) invariant dimensional regularization
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)
