Related papers: S@M, a Mathematica Implementation of the Spinor-He…
An algorithm is presented that formalizes different steps in a classical Supersymmetric (SUSY) calculation. Based on the algorithm Dill, a symbolic software package, that can perform the calculations, is developed in the Mathematica…
We introduce a manifestly little group covariant on-shell superspace for massive particles in four dimensions using the massive spinor helicity formalism. This enables us to construct massive on-shell superfields and fully utilize on-shell…
We develop the helicity formalism for spin-2 particles and apply it to the case of gravity in flat extra dimensions. We then implement the large extra dimensions scenario of Arkani-Hamed, Dimopoulos and Dvali in the program AMEGIC++,…
We study contact four-point amplitudes in the spinor-helicity formalism in anti-de Sitter space. We find that these amplitudes can be brought to an especially simple form, which we call canonical. Next, we classify consistent contact…
Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathematics. In the last decades we have seen a cambric explosion of…
The spinor-helicity formalism in particle physics gives rise to natural subvarieties in the product of two Grassmannians. These include two-step flag varieties for subspaces of complementary dimension. Taking Hadamard products leads to…
An on-shell formalism for the computation of S-matrices of SYM theories in three spacetime dimensions is presented. The framework is a generalization of the spinor-helicity formalism in four dimensions. The formalism is applied to establish…
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern control applications belong to this class of systems, where a…
The Weyl-van-der-Waerden spinor technique for calculating helicity amplitudes of massive and massless particles is presented in a form that is particularly well suited to a direct implementation in computer algebra. Moreover, we explain how…
We present a package to perform partial fraction decompositions of multivariate rational functions. The algorithm allows to systematically avoid spurious denominator factors and is capable of producing unique results also when being applied…
We have developed a Mathematica package capable of performing gamma-matrix algebra in arbitrary (integer) dimensions. As an application we can compute Fierz transformations.
"GRAMA" is a Mathematica package for doing symbolic tensor computations and complicated algebraic manipulations in 10-dimensional (D=10) simple (N=1) supergravity. The main new ingredients of this package inside the general Mathematica…
I present new features of the open-source Python package lips, which leverages the newly developed pyadic and syngular libraries. These developments enable the generation and manipulation of massless phase-space configurations beyond real…
We recently presented the so-called allagmatic method, which includes a system metamodel providing a framework for describing, modelling, simulating, and interpreting complex systems. Its development and programming was guided by…
In this paper a library for spin--angular integration in LS-coupling for many-electron atoms is presented. The software is an implementation of a methodology based on the second quantization in coupled tensorial form, the angular momentum…
In order to work with mathematical content in computer systems, it is necessary to represent it in formal languages. Ideally, these are supported by tools that verify the correctness of the content, allow computing with it, and produce…
Slavnov-Taylor 1.0 is a Mathematica package which allows us to perform automatic symbolic computation in BRST formalism. This article serves as a self-contained guide to prospective users, and indicates the conventions and approximations…
We present an implementation of algorithms for the symbolic integration of hyperlogarithms multiplied by rational functions in the computer algebra system FORM. This implementation encompasses cases where hyperlogarithms have rational…
The power of the helicity formalism has been appreciated recently from its application to the massless case, where plenty of formal aspects of multi-legs amplitudes have been derived. However, in order to extend the formalism to the…
We consider the pure spinor sigma model in an arbitrary curved background. The use of Hamiltonian formalism allows for a uniform description of the worldsheet fields where matter and ghosts enter the action on the same footing. This…