Related papers: Spinors: a Mathematica package for doing spinor ca…
Tensors (also commonly seen as multi-linear operators or as multi-dimensional arrays) are ubiquitous in scientific computing and in data science, and so are the software efforts for tensor operations. Particularly in recent years, we have…
We define spinors for pairs of tangent disks in the Euclidean plane and prove a number of theorems, one of which may be interpreted as a "square root of Descartes Theorem". In any Apollonian disk packing, spinors form a network. In the…
"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…
The three-dimensional universal complex Clifford algebra is used to represent relativistic vectors in terms of paravectors. In analogy to the Hestenes spacetime approach spinors are introduced in an algebraic form. This removes the…
We present a package for the computer algebra system Mathematica, which implements the parametrized post-Newtonian (PPN) formalism. This package, named xPPN, is built upon the widely used tensor algebra package suite xAct, and in particular…
An attempt is made of giving a self-contained (although incomplete) introduction to holomorphic ideas in general relativity, following work over the last thirty years by several authors. The main topics are complex manifolds, two-component…
Part I: The geometric algebra of space is derived by extending the real number system to include three mutually anticommuting square roots of plus one. The resulting geometric algebra is isomorphic to the algebra of complex 2x2 matrices,…
The Invar package is introduced, a fast manipulator of generic scalar polynomial expressions formed from the Riemann tensor of a four-dimensional metric-compatible connection. The package can maximally simplify any polynomial containing…
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…
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,…
We present FormTracer, a high-performance, general purpose, easy-to-use Mathematica tracing package which uses FORM. It supports arbitrary space and spinor dimensions as well as an arbitrary number of simple compact Lie groups. While…
A parametrization of integral Descartes configurations (and effectively Apollonian disk packings) by pairs of two-dimensional integral vectors is presented. The vectors, called here tangency spinors defined for pairs of tangent disks, are…
In this short article I introduce the stokes package which provides functionality for working with tensors, alternating forms, wedge products, and related concepts from the exterior calculus. Notation and spirit follow Spivak. Stokes's…
We present the PSALTer software for efficiently computing the mass and energy of the particle spectrum for any (e.g. higher-rank) tensor field theory in the Wolfram Language. The user must provide a Lagrangian density which is expanded…
A systematic presentation of spinors in various dimensions is given.
Two-point functions for scalar and spinor fields are investigated in Einstein universe ($R \otimes S^{\sN-1}$). Equations for massive scalar and spinor two-point functions are solved and the explicit expressions for the two-point functions…
I present the tensor computer algebra package FieldsX, which extends the xAct suite of tensor algebra packages to perform computations in field theory with fermions and gauge fields. This includes the standard tools of curved-space $\gamma$…
General relativity is derived from an action which is quadratic in the covariant derivative of certain spinor one-form gravitational potentials. Either a pair of 2-component spinor one-forms or a single Dirac spinor one-form can be…
The use of Slater-type spinor orbitals in algebraic solution of the Dirac equation is investigated. The one- and two-center integrals constitute the matrix elements arising in generalized eigenvalue equation for one-electron atoms and…
A special approach to examine spinor structure of 3-space is proposed. It is based on the use of the concept of a spatial spinor defined through taking the square root of a real-valued 3-vector. Two sorts of spatial spinor according to…