相关论文: GRAMA. A Mathematica program for analytical calcul…

We present a Mathematica package for doing computations with gamma matrices, spinors, tensors and other objects, in any dimension and signature. The approach we use is based on defining the commutation relations of the relevant matrices,…

We introduce the MathGR package, written in Mathematica. The package can manipulate tensor and GR calculations with either abstract or explicit indices, simplify tensors with permutational symmetries, decompose tensors from abstract indices…

We have developed a Mathematica package capable of performing gamma-matrix algebra in arbitrary (integer) dimensions. As an application we can compute Fierz transformations.

Due to the occurrence of large exceptional Lie groups in supergravity, calculations involving explicit Lie algebra and Lie group element manipulations easily become very complicated and hence also error-prone if done by hand. Research on…

In this paper we present a short overview of the new Wolfram Mathematica package intended for elementary "in-basis" tensor and differential-geometric calculations. In contrast to alternatives our package is designed to be easy-to-use,…

Inspired by the decomposition in the hybrid quantum-classical optimization algorithm we introduced in arXiv:1902.04215, we propose here a new (fully classical) approach to solving certain non-convex integer programs using Graver bases. This…

A software for simplification of Dirac matrix polynomials that arise in particle physics problems is implemented.

We present a Mathematica package for performing algebraic and numerical computations in cosmological models based on supersymmetric theories. The programs allow for (I) evaluation and study of the properties of a scalar potential in a large…

The dual version of the D=10 N=1 supergravity (SUGRA) is considered in the superspace approach. The superstring (anomaly compensating) corrections are described by the 3-form superfield $A_{abc}$ . The complete set of dynamical equations…

We present the Mathematica package DREAM for arbitrarily high precision computation of multiloop integrals within the DRA (Dimensional Recurrence & Analyticity) method as solutions of dimensional recurrence relations. Starting from these…

A tutorial of the Mathematica package CGAlgebra, for conformal geometric algebra calculations is presented. Using rule-based programming, the 5-dimensional conformal geometric algebra is implemented and defined functions simplify the…

We introduce a new, open-source computational general relativity framework for the Wolfram Language called Gravitas, which boasts a number of novel and distinctive features as compared to the many pre-existing computational and numerical…

I present a simple dynamic programming algorithm for the evaluation of operators in a wide range of superconformal algebras. Special care is taken to describe the computation of the Gram matrix. A Mathematica package, Weaver.m, is provided…

Recent models for discrete euclidean quantum gravity incorporate a sum over simplicial triangulations. We describe an algorithm for simulating such models in general dimensions. As illustration we show results from simulations in four…

We present and publish a Mathematica package, which can be used to automatically obtain any numerical MSSM input parameter from SUSY spectrum generators, which follow the SLHA standard, like Spheno, Softsusy, Suseflav or Suspect. The…

Package-X, a Mathematica package for the analytic computation of one-loop integrals dimensionally regulated near 4 spacetime dimensions is described. Package-X computes arbitrarily high rank tensor integrals with up to three propagators,…

The conformal compensator formalism is a convenient and versatile representation of supergravity (SUGRA) obtained by gauge fixing conformal SUGRA. Unfortunately, practical calculations often require cumbersome manipulations of component…

The Dynamical Graph Grammar (DGG) formalism can describe complex system dynamics with graphs that are mapped into a master equation. An exact stochastic simulation algorithm may be used, but it is slow for large systems. To overcome this…

The aim of this review is to discuss the ways to obtain results based on gravity with higher derivatives in D-dimensional world. We considered the following ways: (1) reduction to scalar tensor gravity, (2) direct solution of the equations…

This paper presents Prism, the first symbolic superoptimizer for tensor programs. The key idea is sGraph, a symbolic, hierarchical representation that compactly encodes large classes of tensor programs by symbolically representing some…