Related papers: Code generation (automatized programming) of symbo…
In this article we present a method to generate analytic expressions for the integral coefficients of loop amplitudes using numerical evaluations only. We use high-precision arithmetic to explore the singularity structure of the…
In this work, the library spinney is presented, which provides an implementation of helicity spinors and related algorithms for the symbolical manipulation program Form. The package is well suited for symbolic amplitude calculations both in…
This article describes haggies, a program for the generation of optimised programs for the efficient numerical evaluation of mathematical expressions. It uses a multivariate Horner-scheme and Common Subexpression Elimination to reduce the…
We present a method for symbolic evaluation of Feynman amplitudes. We construct special polarization basis for spinor particles which produces compact expressions for tensor products of basis spinors.
We present an alternative approach for calculating helicity amplitudes for processes involving both massless and massive fermions. With this method one can easily obtain covariant expressions for the helicity amplitudes. The final…
We present definitions and formulas that may be useful for a consistent computation of helicity amplitudes for the process gamma* N -> N* in theoretical approaches. Of particular importance is the correct determination of the common sign of…
Massive training of developers following the growing demands of the information technology industry requires teachers to automate their repetitive tasks. For training courses on programming, it is promising to use automatic generation and…
We describe a general method that enables us to obtain all the singular terms of helicity amplitudes of n-parton processes at one loop. The algorithm uses helicity amplitudes at tree level and simple color algebra. We illustrate the method…
The new matrix element generator AMEGIC++ is introduced, dedicated to describe multi-particle production in high energy particle collisions. It automatically generates helicity amplitudes for the processes under consideration and constructs…
A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented. The input language mirrors conventional mathematical notation, and the compiler generates…
Pipelined algorithms implemented in field programmable gate arrays are being extensively used for hardware triggers in the modern experimental high energy physics field and the complexity of such algorithms are increases rapidly. For…
An algorithm, based on the OPP reduction method, to automatically compute any one-loop amplitude, for all momentum, color and helicity configurations of the external particles, is presented. It has been implemented using the tree-order…
The program MadGraph is presented which automatically generates postscript Feynman diagrams and Fortran code to calculate arbitrary tree level helicity amplitudes by calling HELAS[1] subroutines. The program is written in Fortran and is…
Automatic assessment of code, in particular to support education, is an important feature included in several Learning Management Systems (LMS), at least to some extent. Several kinds of assessments can be designed, such as exercises asking…
Using the newly modified method developed for symbolic evaluation of Feynman amplitudes we examine two processes $2\to 2$ (including a case of Majorana fermions) at a tree level. Constructing special polarization basis for spinor particles,…
Theoretical foundations of compositional reasoning about heaps in imperative programming languages are investigated. We introduce a novel concept of compositional symbolic memory and its relevant properties. We utilize these formal…
We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operating on rational, real or floating-point variables and…
Automatic code generation for low-dimensional geometric algorithms is capable of producing efficient low-level software code through a high-level geometric domain specific language. Geometric Algebra (GA) is one of the most suitable…
An helicity formalism for perturbative calculations is presented. It is based on the formal insertion in spinor lines of a complete set of states built up with unphysical spinors. It is particularly convenient when massive spinors are…
We present a derivation of coherent helicity amplitudes for a particle decaying into multifinal states with nonzero spins. The results show that the coherent amplitudes introduce additional rotations to transform the helicities into a…