AMBRE is part of a collection of tools devoted to the evaluation of Mellin-Barnes integrals collected at HEPFORGE.

ANT - ANalytic loopTools - is a Mathematica package implementing all Passarino-Veltman functions up to boxes as defined by FormCalc and LoopTools in the limit of vanishing external momenta. Additionally, it includes all first derivatives of B0, B1, C0, C1, C2 as well as C00 in the limit of vanishing external momenta.

ColorMath is a Mathematica package for symbolically performing color summed calculations in SU(Nc). It is based on advanced pattern matching and uses a syntax which is very similar to how QCD color structure is written on paper.

Discrete is a Mathematica package providing tools for model building with discrete symmetries. Its main features are

- the calculation of arbitrary Kronecker products;
- an interface to the group catalogues within GAP, e.g. the SmallGroups library with all discrete groups up to order 2000 (with the exception of groups of order 1024) and many more;
- calculation of Clebsch-Gordan coefficients (They are calculated on demand and are stored internally, in order to improve the performance);
- the possibility to reduce covariants to a smaller set of independent covariants;

A Mathematica package that provides explicit matrix expressions for group theoretic calculations in E6.

FeynCalc is a Mathematica package for symbolic evaluation of Feynman diagrams and algebraic calculations in quantum field theory and elementary particle physics.

This is the development page for the FlexibleSUSY project. FlexibleSUSY provides Mathematica and C++ code to create fast and modular spectrum generators for supersymmetric and non-supersymmetric models. It is based on SOFTSUSY and SARAH.

FormCalc is a Mathematica package for the calculation of tree-level and one-loop Feynman diagrams. It reads diagrams generated with FeynArts and returns the results in a way well suited for further numerical and analytical evaluation.

FormFlavor is a Mathematica based tool for computing a broad list of flavor and CP observables in general new physics models. Based on the powerful machinery of FeynArts and FormCalc, FormFlavor calculates the one-loop Wilson coefficients of the dimension 5 and 6 Standard Model effective Lagrangian entirely from scratch. These Wilson coefficients are then evolved down to the low scale using one-loop QCD RGEs, where they are transformed into flavor and CP observables. The last step is accomplished using a model-independent, largely stand-alone package called FFObservables that is included with FormFlavor. The SM predictions in FFObservables include up-to-date references and... Read more.

The GrIP is a Mathematica® based package that computes the Group Invariant Polynomial of (super)fields. The user needs to prepare an input file containing information about (super)field content and their transformation properties under the assigned symmetries. The order of the polynomial is determined by the mass (non-supersymmetric models) and canonical (supersymmetric scenarios) dimensions. These operators can be suitably collected to form the Lagrangian. The GrIP allows the user to look for operators for specific processes which makes it unique. This program lays the foundation for BSM-EFT.

A Mathematica-package for OPEs in vertex algebras. The package Lambda is designed for calculating λ-brackets in both vertex algebras, and in SUSY vertex algebras. This is equivalent to calculating operator product expansions in two-dimensional conformal field theory. For an introduction, see http://arxiv.org/abs/1004.5264 .

LieART (Lie Algebras and Representation Theory) is a Mathematica application for computations frequently encountered in Lie algebras and representation theory, such as tensor product decomposition and subalgebra branching of irreducible representations. LieART can handle all classical and exceptional Lie algebras. It computes root systems of Lie algebras, weight systems and several other properties of irreducible representations. LieART's user interface has been created with a strong focus on usability and thus allows the input of irreducible representations via their dimensional name, while the output is in the textbook style used in most particle-physics publications. The unique Dynkin labels of irreducible representations... Read more.

REAP (Renormalization group Evolution of Angles and Phases) is a Mathematica package for solving the renormalization group equations (RGE) of the quantities relevant for neutrino masses, for example the dimension-5 neutrino mass operator, the Yukawa matrices and the gauge couplings.

The package MPT (Mixing Parameter Tools) allows to extract the lepton masses, mixing angles and CP phases from the mass matrices of the neutrinos and the charged leptons. Thus, the running of the neutrino mass matrix calculated by REAP can be translated into the running of the mixing parameters and the mass eigenvalues.

SARAH is a Mathematica package for building and analyzing SUSY and non-SUSY models. It calculates all vertices, mass matrices, tadpoles equations, one-loop corrections for tadpoles and self-energies, and two-loop RGEs for a given model. SARAH writes model files for FeynArts, CalcHep/CompHep, which can also be used for dark matter studies using MicrOmegas, the UFO format which is supported by MadGraph 5 and for WHIZARD and OMEGA. SARAH is also the first available spectrum-generator-generator: based on the derived, analytical expression it creates source code for SPheno. In that way, it is possible to implement new models in SPheno without the need to... Read more.