Pith. sign in

REVIEW 4 cited by

Code Optimization in FORM

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1310.7007 v1 pith:7XEEBAIE submitted 2013-10-25 cs.SC hep-ph

J. Kuipers , T. Ueda , J.A.M. Vermaseren This is my paper · ORCID
classification cs.SChep-ph
keywords optimizationcodeformimplementationmethodsotheralgebraalgorithms
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original 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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 4 Pith papers

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

  1. Radiative return at NLOPS accuracy

    hep-ph 2026-01 conditional novelty 7.0 of 10

    First implementation of NLO corrections matched to a parton shower for the radiative processes e+e−→π+π−γ and e+e−→μ+μ−γ, including ISR, FSR and their interference.

  2. Fast evaluation of Feynman integrals for Monte Carlo generators

    hep-ph 2025-07 conditional novelty 6.0 of 10

    A new numerical integrator evaluates one- and two-loop five-point Feynman integrals with complex masses in milliseconds, using variable-by-variable integration and a new branch-cut prescription.

  3. Triple real-emission contribution to the zero-jettiness soft function at N3LO in QCD

    hep-ph 2024-12 conditional novelty 6.0 of 10

    The paper provides the technical derivation and cross-checks of the triple-real-emission piece of the N3LO zero-jettiness soft function, confirming the result announced in arXiv:2409.11042.

  4. DoFun 3.0: Functional equations in Mathematica

    hep-ph 2019-08 accept novelty 4.0 of 10

    DoFun 3.0 extends the Mathematica package DoFun with automatic derivation of correlation functions of composite operators, plus workflow tools and a public GitHub repository.

Pith tools