New features of FORM

The aim of this work is to present a series of concrete examples which illustrate how the computer algebra system Cadabra can be used to manipulate expressions appearing in General Relativity and other gravitational theories. We highlight the way in which Cadabra's philosophy differs from other systems with related functionality. The use of various new built-in packages is discussed, and we show how such packages can also be created by end-users directly using the notebook in...

We present a Mathematica package AmpRed for the semi-automatic calculations of multi-loop Feynman amplitudes with high efficiency and precision. AmpRed implements the methods of integration by parts and differential equations in the Feynman-parameter representation. It allows for the calculations of general parametric integrals (which may not have momentum-space correspondences). Various user-friendly tools for multi-loop calculations, such as those to construct and solve dif...

The reduction of Feynman integrals to a basis of master integrals plays a crucial role for many high-precision calculations and Kira is one of the leading tools for this task. In these proceedings we discuss some of the new features and improvements currently being developed for the next release.

This paper describes the Mathematica package FeynArts used for the generation and visualization of Feynman diagrams and amplitudes. The main features of version 3 are: generation of diagrams at three levels, user-definable model files, support for supersymmetric models, and publication-quality Feynman diagrams in PostScript or LaTeX.

These lectures given to graduate students in theoretical particle physics, provide an introduction to the ``inner workings'' of computer algebra systems. Computer algebra has become an indispensable tool for precision calculations in particle physics. A good knowledge of the basics of computer algebra systems allows one to exploit these systems more efficiently.

The necessity of the FORM project is discussed. Then the evolutionary needs in particle physics are considered, looking at the trends over the years. A guess is made at what will be needed in the (near) future. The whole is concluded with some critical remarks concerning the publication of results and programs.

A FORM program which is used to efficiently expand in components pure spinor superfield expressions of kinematic factors is presented and comments on how it works are made. It is highly customizable using the standard features of FORM and can be used to help obtaining superstring effective actions from the scattering amplitudes computed with the pure spinor formalism.

Course material for mathematical methods of theoretical physics intended for an undergraduate audience.

I give an overview of FORM development based on a few pilot projects, explaining how they have influenced the FORM capabilities. Next I explain what is happnening right now in the field of Open Sourcing and the FORM Forum.

In this work we report on a new version of FeynCalc, a Mathematica package widely used in the particle physics community for manipulating quantum field theoretical expressions and calculating Feynman diagrams. Highlights of the new version include greatly improved capabilities for doing multiloop calculations, including topology identification and minimization, optimized tensor reduction, rewriting of scalar products in terms of inverse denominators, detection of equivalent o...