New features of FORM
By Jos Vermaseren. 2000
1,176 citations recorded by the source corpus.
Version 3 of FORM is introduced. It contains many new features that are inspired by current developments in the methodology of computations in quantum field theory. A number of these features is discussed in combination with examples. In addition the distribution contains a number of general purpose packages. These are described shortly.
Subfields: Condensed Matter Physics
View Paper: https://www.semanticscholar.org/paper/bae5875b9297916230ee6eb75c3f613dec7beda7
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Condensed Matter Physics
- Tiziano Peraro
- Tomasz Lukowski
- Simon Badger
- K. Chetyrkin
- M. Gorbahn
- J. Brod
- Pierpaolo Mastrolia
- M. Staudacher
Citations in the corpus
- Minimally subtracted six loop renormalization of $O(n)$-symmetric $\phi^4$ theory and critical exponents (2017, methodology): “The O(n) group factors were confirmed independently by evaluating (13) with a simple Form [156] program.”
- New developments in FeynCalc 9.0 (2016, methodology): “hould be done using other tools. Second, FeynCalc normally performs all the algebraic manipulations using Mathematica. This leads to a slower performance when compared to tools that rely e.g. on FORM [22] for the symbolics. Despite some possibilities [15] to link FeynCalcwith FORM, one should keep i”
- Differential equations and dispersion relations for Feynman amplitudes. The two-loop massive sunrise and the kite integral (2016, methodology): “ to phenomenologically relevant three- and four-point functions is currently under study. Acknowledgements We are grateful to J. Vermaseren for his assistance in the use of the algebraic program FORM [37] which was intensively used in all the steps of the calculation. All analytical results for the ”
- Gluon-induced Higgs-strahlung at next-to-leading order QCD (2012, methodology): “e generation and expansion of the diagrams and the evaluation of the massive vacuum diagrams. The calculation of the massless triangle and box diagrams is performed by an extended version of the FORM [50] routine previously used in Ref. [11], which implements algebraic Passarino11 Veltman reduction ”
- Scattering amplitudes over finite fields and multivariate functional reconstruction (2016, methodology): “e often described by a larger number of variables (such as the loop components) which do not appear in the nal result. The problem can be mitigated by the use of computer algebra systems such as Form [22], which specializes in handling large expressions, or by using techniques such as generalized un”
- Epsilon_K at Next-to-Next-to-Leading Order: The Charm-Top-Quark Contribution (2010, methodology): “In addition, we have written our own FORM routine in order to evaluate two-loop diagrams with an arbitrary number of (possibly vanishing) masses, using the algorithm described in [14, 32].”
- Scattering amplitudes from unitarity-based reduction algorithm at the integrand-level (2010, methodology): “When working with Feynman diagrams, we prepare the numerator function N(¯ q) by processing the output of a diagram generator symbolically with a computer algebra program; the actual computer program is written by an optimizing code generator (see also figure 6). This modular approach is very generic”