Related papers: GRAMA. A Mathematica program for analytical calcul…
In this paper, we briefly discuss the dynamic and functional approach to computer symbolic tensor analysis. The ccgrg package for Wolfram Language/Mathematica is used to illustrate this approach. Some examples of applications are attached.
The "Spinors" software is a "Mathematica" package which implements 2-component spinor calculus as devised by Penrose for General Relativity in dimension 3+1. The "Spinors" software is part of the "xAct" system, which is a collection of…
We describe TensoriaCalc, a tensor calculus package written to be smoothly consistent with the Wolfram Language, so as to ensure ease of usage. It allows multiple metrics to be defined in a given session; and, once a metric is computed,…
In many-particle problems involving interacting fermions or bosons, the most natural language for expressing the Hamiltonian, the observables, and the basis states is the language of the second-quantization operators. It thus appears…
SARAH is a Mathematica package for building and analyzing supersymmetric models. SARAH just needs the gauge structure, particle content and superpotential to produce all information about the gauge eigenstates of a model. Breaking of gauge…
We present OGRe, a modern Mathematica package for tensor calculus, designed to be both powerful and user-friendly. The package can be used in a variety of contexts where tensor calculations are needed, in both mathematics and physics, but…
This paper describes a package for calculations of expressions with Dirac matrixes. Advantages to existing similar packages are described. MatrixExp package is intended for simplification of complex expressions involving $\gamma$-matrixes,…
Utilizing a first-order perturbative superspace approach, we derive the bosonic equations of motion for the 10D, N = 1 supergravity fields. We give the Lagrangian corresponding to these equations derived from superspace geometry. Moreover,…
The equations of motion (e.m.'s) of the N=1, D=10 anomaly free supergravity, obtained in the framework of the superspace approach, are analyzed. The formal equivalence of the usual and dual supergravities is discussed at the level of…
Accurate parameter selection is fundamental to gyrokinetic plasma simulations, yet current practices rely heavily on manual literature reviews, leading to inefficiencies and inconsistencies. We introduce Plasma GraphRAG, a novel framework…
CARTAN is an easy-to-use symbolic, tensor component package based on the popular Mathematica program. CARTAN makes use of the powerful formalism of rigid frames, and can return results both in this frame and in the coordinate basis. CARTAN…
SARAH is a Mathematica package optimized for the fast, efficient and precise study of supersymmetric models beyond the MSSM: a new model can be defined in a short form and all vertices are derived. This allows SARAH to create model files…
We introduce the Mathematica package SummerTime for arbitrary-precision computation of sums appearing in the results of DRA method. So far these results include the following families of the integrals: 3-loop onshell massless vertices,…
This article summarizes new features and enhancements of the first major update of Package-X. Package-X 2.0 can now generate analytic expressions for arbitrarily high rank dimensionally regulated tensor integrals with up to four distinct…
Computer algebra programs are presented for application in general relativity, in electrodynamics, and in gauge theories of gravity. The mathematical formalism used is the calculus of exterior differential forms, the computer algebra system…
Graph State Space Models (SSMs) have recently been introduced to enhance Graph Neural Networks (GNNs) in modeling long-range interactions. Despite their success, existing methods either compromise on permutation equivariance or limit their…
This is the second in a series of two articles introducing the Gravitas computational general relativity framework, in which we now focus upon the design and capabilities of Gravitas's numerical subsystem, including its ability to perform…
Adinkras are graphical tools created for the study of representations in supersymmetry. Besides having inherent interest for physicists, adinkras offer many easy-to-state and accessible mathematical problems of algebraic, combinatorial, and…
Graph matching aims at finding the vertex correspondence between two unlabeled graphs that maximizes the total edge weight correlation. This amounts to solving a computationally intractable quadratic assignment problem. In this paper we…
Using an interplay between superspace and component superconformal tensor calculus techniques, recently, the off-shell construction of the supersymmetric extension of the three independent curvature-squared invariants for minimal (N = 1)…