FORM version 4.0
arXiv:1203.6543 · doi:10.1016/j.cpc.2012.12.028
Abstract
We present version 4.0 of the symbolic manipulation system FORM. The most important new features are manipulation of rational polynomials and the factorization of expressions. Many other new functions and commands are also added; some of them are very general, while others are designed for building specific high level packages, such as one for Groebner bases. New is also the checkpoint facility, that allows for periodic backups during long calculations. Lastly, FORM 4.0 has become available as open source under the GNU General Public License version 3.
26 pages. Uses axodraw
References in corpus (2)
Cited by in corpus (328)
- FeynCalc 9.3: New features and improvements
- The five-loop beta function of Yang-Mills theory with fermions
- GoSam-2.0: a tool for automated one-loop calculations within the Standard Model and beyond
- Higgs boson pair production in gluon fusion at NLO with full top-quark mass dependence
- Non-perturbative quark, gluon and meson correlators of unquenched QCD
- HW/HZ + 0 and 1 jet at NLO with the POWHEG BOX interfaced to GoSam and their merging within MiNLO
- Full top quark mass dependence in Higgs boson pair production at NLO
- Single meson contributions to the muon's anomalous magnetic moment
- Four-loop critical exponents for the Gross-Neveu-Yukawa models
- Cusp and collinear anomalous dimensions in four-loop QCD from form factors
- Ninja: Automated Integrand Reduction via Laurent Expansion for One-Loop Amplitudes
- Asymptotic safety of gravity-matter systems
- Two-loop planar master integrals for Higgs partons with full heavy-quark mass dependence
- Renormalisation-group improved analysis of processes in a systematic effective-field-theory approach
- Four-Loop Non-Singlet Splitting Functions in the Planar Limit and Beyond
- Towards apparent convergence in asymptotically safe quantum gravity
- On quartic colour factors in splitting functions and the gluon cusp anomalous dimension
- Antenna subtraction at NNLO with hadronic initial states: double real initial-initial configurations
- One force to rule them all: asymptotic safety of gravity with matter
- The Three-Loop Splitting Functions in QCD: The Helicity-Dependent Case
- Analytic Form of the Planar Two-Loop Five-Parton Scattering Amplitudes in QCD
- NLO QCD corrections to Higgs boson plus jet production with full top-quark mass dependence
- Renormalization group, secular term resummation and AdS (in)stability
- Planar Two-Loop Five-Gluon Amplitudes from Numerical Unitarity
- -on-shell quark mass relation up to four loops in QCD and a general SU gauge group
- Higgs boson pair production: top quark mass effects at NLO and NNLO
- Large-nf Contributions to the Four-Loop Splitting Functions in QCD
- Five-loop quark mass and field anomalous dimensions for a general gauge group
- FeynCalc 10: Do multiloop integrals dream of computer codes?
- A first look at two-loop five-gluon scattering in QCD
- Non-abelian -theory: Berends-Giele recursion for the -expansion of disk integrals
- Five-loop renormalisation of QCD in covariant gauges
- Curvature dependence of quantum gravity
- Electroweak Corrections to
- Drell-Yan lepton-pair production: resummation at NLL accuracy and fiducial cross sections at NLO
- NLO predictions for Higgs boson pair production with full top quark mass dependence matched to parton showers
- Gravitational wave background from Standard Model physics: Complete leading order
- How perturbative is quantum gravity?
- Approximate N^3LO Higgs-boson production cross section using physical-kernel constraints
- Berends-Giele recursion for double-color-ordered amplitudes
- Complete renormalization of QCD at five loops
- Four-loop photon quark form factor and cusp anomalous dimension in the large- limit of QCD
- Further on up the road: production at the LHC
- On Higgs decays to hadrons and the R-ratio at N^4LO
- Cancellation of Glauber gluon exchange in the double Drell-Yan process
- NLO QCD corrections to Higgs boson production plus three jets in gluon fusion
- Effective universality in quantum gravity
- Towards the five-loop Beta function for a general gauge group
- The Gluon Beam Function at Two Loops
- Correlation functions of Landau gauge Yang-Mills theory
- The decay in a systematic effective field theory approach with dimension 6 operators
- Gross-Neveu-Yukawa model at three loops and Ising critical behavior of Dirac systems
- Two-loop QCD corrections to production at hadron colliders
- Abelian Higgs model at four loops, fixed-point collision and deconfined criticality
- Non-perturbative finite-temperature Yang-Mills theory
- FormTracer - A Mathematica Tracing Package Using FORM
- Event Generators for High-Energy Physics Experiments
- Physics at a 100 TeV pp collider: Higgs and EW symmetry breaking studies
- Higgs-Pair Production via Gluon Fusion at Hadron Colliders: NLO QCD Corrections
- One-loop and scattering from the Electroweak Chiral Lagrangian with a light Higgs-like scalar
- Loops and trees in generic EFTs
- Five-loop contributions to low-N non-singlet anomalous dimensions in QCD
- Quark and gluon form factors to four loop order in QCD: the contributions
- ColorMath - A package for color summed calculations in SU(Nc)
- Four-loop QCD propagators and vertices with one vanishing external momentum
- Multi-leg One-loop Massive Amplitudes from Integrand Reduction via Laurent Expansion
- The two-loop energy-momentum tensor within the gradient-flow formalism
- Electroweak oblique parameters as a probe of the trilinear Higgs boson self-interaction
- Two-Loop Master Integrals for the mixed EW-QCD virtual corrections to Drell-Yan scattering
- Two-loop leading-colour QCD helicity amplitudes for Higgs boson production in association with a bottom-quark pair at the LHC
- Superconducting quantum criticality of topological surface states at three loops
- production at the LHC
- The contributions to fermionic four-loop form factors
- Next-to-Leading Order QCD Corrections to the Decay Width
- Finite temperature spectral functions in the O(N)-model
- Four-loop strong coupling beta-function in the Standard Model
- Isolated photon production in association with a jet pair through next-to-next-to-leading order in QCD
- Light-quark two-loop corrections to heavy-quark pair production in the gluon fusion channel
- Completing the hadronic Higgs boson decay at order
- Massive vector form factors to three loops
- Precise QCD predictions for the production of a photon pair in association with two jets
- Quark and gluon form factors in four-loop QCD
- Multiloop Integrand Reduction for Dimensionally Regulated Amplitudes
- Gluon-fusion Higgs production in the Standard Model Effective Field Theory
- NNLO predictions for Z-boson pair production at the LHC
- Muon-electron scattering at NNLO: the hadronic corrections
- Two-loop helicity amplitudes for the production of two off-shell electroweak bosons in quark-antiquark collisions
- Massive quarks in NLO dipole factorization for DIS: Transverse photon
- Four-loop splitting functions in QCD -- The quark-quark case
- Transverse momentum in double parton scattering: factorisation, evolution and matching
- Mixed QCD-electroweak corrections to W-boson production in hadron collisions
- Prompt charmonia production and polarization at LHC in the NRQCD with kt-factorization. Part I: psi(2S) meson
- Wilson lines and gauge invariant off-shell amplitudes
- Photon isolation effects at NLO in gamma gamma + jet final states in hadronic collisions
- Unitarity, analyticity, dispersion relations and resonances in strongly interacting , and scattering
- Gauge and Yukawa coupling beta functions of two-Higgs-doublet models to three-loop order
- Standard Model Effective Field Theory up to Mass Dimension 12
- The R*-operation for Feynman graphs with generic numerators
- Exact one-loop results for in 3-3-1 models
- On three-loop RGE for the Higgs sector of 2HDM
- Sivers effect in Inelastic Photoproduction in Collision in Color Octet Model
- Gravitational wave background from non-Abelian reheating after axion-like inflation
- Two-loop helicity amplitudes for with full top-quark mass effects
- production in gluon fusion: two-loop amplitudes with full top quark mass dependence
- Forcer, a FORM program for the parametric reduction of four-loop massless propagator diagrams
- Full mass dependence in Higgs boson production in association with jets at the LHC and FCC
- Four-loop splitting functions in QCD -- The gluon-to-quark case
- Moments of heavy quark correlators with two masses: exact mass dependence to three loops
- Leading large-x logarithms of the quark-gluon contributions to inclusive Higgs-boson and lepton-pair production
- Critical behavior of the QED-Gross-Neveu-Yukawa model at four loops
- Limit Cycles in Four Dimensions
- Electroweak corrections to -boson hadroproduction at finite transverse momentum
- DoFun 3.0: Functional equations in Mathematica
- Mixed EW-QCD two-loop amplitudes for and scheme independence of multi-loop corrections
- Decay of standard model-like Higgs boson in a 3-3-1 model with inverse seesaw neutrino masses
- Resummed photon spectrum from dark matter annihilation for intermediate and narrow energy resolution
- Radiative and leptonic decays at NLO
- Light-by-light-type corrections to the muon anomalous magnetic moment at four-loop order
- Two-loop leading colour QCD helicity amplitudes for top quark pair production in the gluon fusion channel
- Lepton-pair scattering with an off-shell and an on-shell photon at two loops in massless QED
- Electron contribution to the muon anomalous magnetic moment at four loops
- FormCalc 8: Better Algebra and Vectorization
- Self-consistent Spectral Functions in the Model from the FRG
- Large Transverse Momentum in Semi-Inclusive Deeply Inelastic Scattering Beyond Lowest Order
- Top-quark effects in diphoton production through gluon fusion at NLO in QCD
- Deconfined criticality from the QED-Gross-Neveu model at three loops
- NLO QCD corrections to Higgs boson production in association with a top quark pair and a jet
- Critical exponents from five-loop scalar theory renormalization near six-dimensions
- Decoupling of heavy quarks at four loops and effective Higgs-fermion coupling
- Scaling dimensions in QED from the -expansion
- Electroweak corrections to diphoton plus jets
- Quark and gluon form factors in four loop QCD: the and contributions
- The Fully-Differential Quark Beam Function at NNLO
- Results and techniques for higher order calculations within the gradient-flow formalism
- Muon-electron scattering at NLO
- Numerical multi-loop integrals and applications
- Resummation of small-x double logarithms in QCD: inclusive deep-inelastic scattering
- A QCD Debye mass in a broad temperature range
- NNLO virtual and real leptonic corrections to muon-electron scattering
- Complete QED NLO contributions to the reaction and their implementation in the event generator PHOKHARA
- Two-loop coefficient function for DVCS: Vector contributions
- Towards muon-electron scattering at NNLO
- Debye screening mass of hot Yang-Mills theory to three-loop order
- Unimodular Trees versus Einstein Trees
- at a rate of one out of tau decays?
- The (Q_7,Q_{1,2}) contribution to B -> X_s gamma at O(alpha_s^2)
- Improving multivariate Horner schemes with Monte Carlo tree search
- Two-loop off-shell QCD amplitudes in FDR
- Peripheral transverse densities of the baryon octet from chiral effective field theory and dispersion analysis
- Phenomenological analysis of Higgs boson production through gluon fusion in association with jets
- Two-loop Bhabha Scattering at High Energy beyond Leading Power Approximation
- Massive three-loop form factors: anomaly contribution
- Automation of electroweak corrections for LHC processes
- Nonperturbative Renormalization in Lattice QCD with three Flavors of Clover Fermions: Using Periodic and Open Boundary Conditions
- Exclusive J/psi and Upsilon photoproduction and the low x gluon
- NLO QCD+EW corrections to diphoton production in association with a vector boson
- Top-Yukawa contributions to bbH production at the LHC
- In-Medium Pion Valence Distributions in a Light-Front Model
- Fully differential NLO predictions for the radiative decay of muons and taus
- A general algorithm to build real-radiation antenna functions for higher-order calculations
- Analytic three-loop QCD corrections to top-quark and semileptonic decays
- Electroweak and QCD corrections to -boson production with one jet in a massive 5 Flavor Scheme
- One-loop QCD helicity amplitudes for to
- Simple, Parallel, High-Performance Virtual Machines for Extreme Computations
- Two loop virtual corrections to and for arbitrary momentum transfer
- Fractionalized quantum criticality in spin-orbital liquids from field theory beyond the leading order
- General one-loop formulas for decay
- Next-to-Next-to-Leading Order QCD Corrections to Polarized Semi-Inclusive Deep-Inelastic Scattering
- Polarized NLO EW cross section calculations with ReneSANCe-v1.0.0
- Full-colour double-virtual amplitudes for associated production of a Higgs boson with a bottom-quark pair at the LHC
- Next-to-leading order prediction for the decay
- The spin-dependent quark beam function at NNLO
- Computing Tools for Effective Field Theories
- A general algorithm to build mixed real and virtual antenna functions for higher-order calculations
- Two-loop splitting in double parton distributions
- Three-loop massive form factors: complete light-fermion corrections for the vector current
- Lepton asymmetry rate from quantum field theory: NLO in the hierarchical limit
- EKHARA 3.0: an update of the EKHARA Monte Carlo event generator
- NNLO QCD corrections to unpolarized and polarized SIDIS
- First Forcer results on deep-inelastic scattering and related quantities
- Quantum resonant systems, integrable and chaotic
- Hadron-hadron collision mode in ReneSANCe-v1.3.0
- Quark and gluon spin-2 form factors to two-loops in QCD
- Analytic Coupling Structure of Large (Super) QED and QCD
- Beam functions for -jettiness at NLO in perturbative QCD
- resonance in the reaction at threshold
- The Fully-Differential Gluon Beam Function at NNLO
- The parton-level structure of to 2 jets at NLO
- On gamma_5 in higher-order QCD calculations and the NNLO evolution of the polarized valence distribution
- Single production in scattering at MUonE
- Higgs boson decay to paired : relativistic and one-loop corrections
- Effective electroweak Hamiltonian in the gradient-flow formalism
- Fermion Traces Without Evanescence
- Higher-order tree-level amplitudes in the nonlinear sigma model
- Higher dimensional Automorphic Lie Algebras
- FeynGame 3.0
- Two-loop QCD penguin contribution to the width difference in mixing
- Wbbj production at NLO with POWHEG+MiNLO
- Double-graviton production from Standard Model plasma
- A planar four-loop form factor and cusp anomalous dimension in QCD
- Soft Theorem to Three Loops in QCD and Super Yang-Mills Theory
- Triple-collinear splittings with massive particles
- Generalized threshold resummation in inclusive DIS and semi-inclusive electron-positron annihilation
- Non-factorisable contribution to -channel single-top production
- Forcer: a FORM program for 4-loop massless propagators
- High-precision calculation of the 4-loop QED contribution to the slope of the Dirac form factor
- Relativistic corrections to paired production of charmonium and bottomonium in decays of the Higgs boson
- Soft thermal contributions to 3-loop gauge coupling
- Zimmermann's Forest Formula, Infrared Divergences and the QCD Beta Function
- Hadronic vacuum polarization using gradient flow
- Leading order corrections to the Bethe-Heitler process in the reaction
- NLO QCD corrections to -pair production in photon-photon collision
- FormLink/FeynCalcFormLink : Embedding FORM in Mathematica and FeynCalc
- Hidden symmetries of the Higgs oscillator and the conformal algebra
- AutoEFT: Automated Operator Construction for Effective Field Theories
- Scattering of fermions in the Yukawa theory coupled to Unimodular Gravity
- Three-point Energy Correlators in Hadronic Higgs Decays
- Spin Polarisation of production at NLO+PS with GoSam interfaced to MadGraph5_aMC@NLO
- Higgs boson decay to the pair of S- and P-wave mesons
- Heavy Majorana Neutrino Production at Future Colliders
- Calculating four-loop massless propagators with Forcer
- Low energy phenomena of the lepton sector in an symmetry model with heavy inverse seesaw neutrinos
- NLO QCD corrections to diphoton plus jet production through graviton exchange
- Efficient numerical integration of thermal interaction rates
- Electroweak corrections to as a luminosity process at FCC-ee
- Third order correction to semileptonic decay: fermionic contributions
- Six-loop anomalous dimension of the operator in the symmetric model
- Interference contributions to gluon initiated heavy Higgs production in the Two-Higgs-Doublet Model
- Lepton pair production in muon-nucleus scattering
- NNLO QCD corrections to in the large limit
- Locally finite two-loop amplitudes for electroweak production through gluon fusion
- Production of dileptonic bound states in the Higgs boson decay
- Nucleon polarizabilities in covariant baryon chiral perturbation theory with explicit degrees of freedom
- Stress-energy tensor of the quantized massive fields in Schwarzschild-Tangherlini spacetimes. The back reaction
- 1-loop matching of a thermal Lorentz force
- Doubly Charged Higgs Production at Future Colliders
- Quartic Hamiltonians, and higher Hamiltonians at next-to-leading order, for the affine Gaudin model
- Full electroweak radiative corrections to at the ILC with GRACE-Loop
- Double Higgs Production in Vector Boson Fusion at NLO QCD in HEFT
- Diphoton production in association with two bottom jets
- Photonic production of the pair of mesons
- The Higgs-gluon form factor at three loops in QCD with three mass scales
- Pion pair production in annihilation at next-to-leading order matched to Parton Shower
- Dimensional Regularization and Two-Loop Vacuum Polarization Operator: Master Integrals, Analytic Results and Energy Shifts
- in the Asymptotically Safe Standard Model
- An explicit calculation of pseudo-goldstino mass at the leading three-loop level
- Unimodular Gravity and the lepton anomalous magnetic moment at one-loop
- Four-loop QCD cusp anomalous dimension at small angle
- Rings: an efficient Java/Scala library for polynomial rings
- High-precision four-loop mass and wave function renormalization in QED
- Short-flow-time expansion of quark bilinears through next-to-next-to-leading order QCD
- Colour unwound - disentangling colours for azimuthal asymmetries in Drell-Yan scattering
- The {\tt Mathematica} package {\tt TopoID} and its application to the Higgs boson production cross section
- FORM, Diagrams and Topologies
- Renormalization of non-singlet quark operator matrix elements for off-forward hard scattering
- Study on electromagnetic decay into double photons
- Renormalization group equation analysis of a pseudoscalar portal dark matter model
- corrections to hadronic decay of vector quarkonia
- Four-loop large-n_f contributions to the non-singlet structure functions F_2 and F_L
- Absence of SO(4) quantum criticality in Dirac semimetals at two-loop order
- Asymptotic safety in the Litim-Sannino model at four loops
- Leading-order QED radiative corrections to timelike Compton scattering on the proton
- Charged-Higgs production in the Two-Higgs-Doublet Model --- the τνchannel
- Slepton pair production in association with a jet: NLO-QCD corrections and parton-shower effects
- Constraints for twist-two alien operators in QCD
- O(alpha_s alpha_t) (non)decoupling effects within the top-sector of the MSSM
- Virtual QCD corrections to gluon-initiated diphoton plus jet production at hadron colliders
- HQET sum rules for matrix elements of dimension-six four-quark operators for meson lifetimes within and beyond the Standard Model
- R*-operation and five-loop calculations
- Probing anomalous Higgs boson couplings in Higgs plus jet production at NLO QCD with full -dependence
- : updated predictions at NLO QCD
- Contribution of heavy neutrinos to decay of standard-model-like Higgs boson in a 3-3-1 model with additional gauge singlets
- Photoproduction of with forward hadron tagging in hadronic collisions
- Kato expansion in quantum canonical perturbation theory
- Numerical Evaluation of Two-Loop Integrals in FDR
- Kato perturbation expansion in classical mechanics and an explicit expression for a Deprit generator
- An extended 3-3-1 model with two scalar triplets and linear seesaw mechanism
- Five-loop massive tadpoles
- Invariants of Automorphic Lie Algebras
- Radiative pion photoproduction in covariant chiral perturbation theory
- Derivation of spontaneously broken gauge symmetry from the consistency of effective field theory I: Massive vector bosons coupled to a scalar field
- Non-relativistic high-energy physics: top production and dark matter annihilation
- EERAD3 version 2: QCD corrections in hadronic colour-singlet decays
- Anomalous coupling, top-mass and parton-shower effects in production
- HEPGAME and the Simplification of Expressions
- Basis transformation properties of anomalous dimensions for hard exclusive processes
- ftint: Calculating gradient-flow integrals with pySecDec
- On the six-loop scaling dimensions of the operators in
- Next-to-Leading Order Corrections to Higgs Boson Pair Production in Gluon Fusion
- Sterile neutrino rates for general , , , : review of a theoretical framework
- Fermionic corrections to quark and gluon form factors in four-loop QCD
- SANC system and its applications for LHC
- Two-loop gradient-flow renormalization of scalar QCD
- Coherent gluon radiation: beyond leading-log accuracy
- Analytic continuation of harmonic sums with purely imaginary indices near the integer values
- Higgs + Multi-jets in Gluon Fusion
- SOSpin, a C++ library for Yukawa decomposition in SO(2N) models
- QCD Predictions for Event-Shape Distributions in Hadronic Higgs Decays
- Many-gluon tree amplitudes on modern GPUs: A case study for novel event generators
- NLO QCD Corrections to Inclusive Charmonium and Meson Production in Decays
- Superconformal Chern-Simons theories beyond leading order
- Automated One-loop Computation in Quarkonium Process within NRQCD Framework
- Order conditions for exponential integrators
- A calculation of the three-loop helicity-dependent splitting functions in QCD
- Applications of the Perturbative Gradient Flow
- Higgs boson production at the LHC: fast and precise predictions in QCD at higher orders
- Singlet and non-singlet three-loop massive form factors
- Predicting Planck scale and Newtonian constant from a Yang-Mills gauge theory: 1 and 2-loops estimates
- Top-Yukawa contributions to : two-loop leading-colour amplitudes
- Nonlinear (chiral) p-form electrodynamics
- : A tool for fully-differential cross sections at next-to-next-to-leading order
- GoSam applications for automated NLO calculations
- The Unresolved Behaviour of Polarized Scattering Matrix Elements at NNLO in QCD
- Inclusive and production in decay at in nonrelativistic QCD factorization
- Versal Normal Form for Nonsemisimple Singularities
- Inclusive production in decay at in NRQCD factorization
- Vector fields, RG flows and emergent gauge symmetry
- Revisiting the Theory in Three Dimensions at Large
- Derivation of spontaneously broken gauge symmetry from the consistency of effective field theory II: Scalar field self-interactions and the electromagnetic interaction
- Diphoton + jets at NLO
- Electroweak corrections to Higgs+jet production in gluon fusion
- Irreducible tensor basis and general Fierz relations for Bhabha scattering like amplitudes
- Three-loop QCD Mass Relation between the and Symmetric-momentum Subtraction Scheme Away from the Chiral Limit
- The gradient flow formulation of the electroweak Hamiltonian
- Critical behavior of isotropic systems with strong dipole-dipole interaction from the functional renormalization group
- Complete next-to-next-to-leading order QCD corrections to the decay matrix in -meson mixing at leading power
- A superintegrable quantum field theory
- The Lie algebraic structure of colored networks