Related papers: Computer algebra in gravity: Programs for (non-)Ri…
This work presents instructive, yet comprehensive derivation of quantized gravity theories in relativistic, classical, and semi-classical spacetime structure based on the Poincar\'e, Galilean, and Bargmann algebra, respectively. The…
This is a survey article on real algebra and geometry, and in particular on its recent applications in optimization and convexity. We first introduce basic notions and results from the classical theory. We then explain how these relate to…
This is a review devoted to some results of Algebraic Programming (Computer Algebra) used in treating several problems of general relativity, based mainly on already published articles. The article contains the talk given by the author at…
In the conventional formulation of general relativity, gravity is represented by the metric curvature of Riemannian geometry. There are also alternative formulations in flat affine geometries, wherein the gravitational dynamics is instead…
This article presents some aspects and experience in the use of algebraic manipulation software applied to general relativity. Some years ago certain results were reported using computer algebra platforms, but the growing popularity of…
Vielbeins are necessary when coupling General Relativity (GR) to fermionic matter. This enhances the gauge group of GR to include local Lorentz transformations. In view of a reduced phase space formulation of quantum gravity, in this work…
Algorithms of numeric (in exact arithmetic) deduction of analytical expressions, proposed and described by Shevchenko and Vasiliev (1993), are developed and implemented in a computer algebra code. This code is built as a superstructure for…
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…
In this work we present the computer algebra package HarmonicSums and its theoretical background for the manipulation of harmonic sums and some related quantities as for example Euler-Zagier sums and harmonic polylogarithms. Harmonic sums…
We report on a package of routines for the computer algebra system Maple which supports the explicit determination of the geometric quantities, field equations, equations of motion, and conserved quantities of General Relativity in the…
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)…
It is shown that for a large class of non-holonomic quantum mechanical systems one can make the computation of BRST charge fully algorithmic. Two computer algebra programs written in the language of {\tt REDUCE} are described. They are able…
Historically, there have been many attempts to produce an appropriate mathematical formalism for modeling the nature of physical space, such as Euclid's geometry, Descartes' system of Cartesian coordinates, the Argand plane, Hamilton's…
We study three computer algebra systems, namely SageMath (with SageManifolds package), Maxima (with ctensor package) and Python language (with GraviPy module), which allow tensor manipulation for general relativity calculations along with…
Symbolic algebra relevant to the renormalization of gauge theories can be efficiently performed by machine using modern packages. We devise a scheme for representing and manipulating the objects involved in perturbative calculations of…
Proposed is a program for what we call Geometric Arithmetic, based on our works on non-abelian zeta functions and non-abelian class field theory. Key words are stability and adelic intersection-cohomology theory.
A characteristic feature of differential-algebraic equations is that one needs to find derivatives of some of their equations with respect to time, as part of so called index reduction or regularisation, to prepare them for numerical…
The evaluation of quantum corrections in the theory of the electroweak and strong interactions via higher-order Feynman diagrams requires complicated and laborious calculations, which however can be structured in a strictly algorithmic way.…
We present a comprehensive introduction to spacetime algebra that emphasizes its practicality and power as a tool for the study of electromagnetism. We carefully develop this natural (Clifford) algebra of the Minkowski spacetime geometry,…
The irreducible decomposition technique is applied to the study of classical models of metric-affine gravity (MAG). The dynamics of the gravitational field is described by a 12-parameter Lagrangian encompassing a Hilbert-Einstein term,…