Cadabra: a field-theory motivated symbolic computer algebra system

DOI10.1016/j.cpc.2007.01.003zbMath1196.68333arXivcs/0608005OpenAlexW2129206697MaRDI QIDQ710052

Publication date: 18 October 2010

Published in: Computer Physics Communications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0608005

zbMATH Keywords

computer algebra field theory \texttt{Cadabra}

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational methods for problems pertaining to quantum theory (81-08)

Related Items

Non-comoving cosmology, Boundary stress-energy tensor and Newton-Cartan geometry in Lifshitz holography, $ \mathcal{N} = 2$ higher-derivative couplings from strings, Geometric algebra techniques in flux compactifications, Higher derivative quartic vertex of $f(R)$ gravity in light-cone gauge, Using two types of computer algebra systems to solve Maxwell optics problems, $\mathrm{SO}(9)$ supergravity in two dimensions, Rigid 6$D$ supersymmetry and localization, Gauged supergravities in 5 and 6 dimensions from generalised Scherk-Schwarz reductions, $E_{8}$ duality and dual gravity, Geometric algebra techniques in flux compactifications. II, Entropy currents from holography in hydrodynamics with charge, $O(N)$ model in Euclidean de Sitter space: beyond the leading infrared approximation, $E_{8(8)}$ exceptional field theory: geometry, fermions and supersymmetry, A Schrödinger approach to Newton-Cartan and Hořava-Lifshitz gravities, \texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}, Hadron structure functions at small $x$ from string theory, Supersymmetric gauged double field theory: systematic derivation by virtue of twist, T-duality and $\alpha'$-corrections, \textit{xTras}: a field-theory inspired \textit{xAct} package for Mathematica, The lift of type IIA supergravity with D6 sources: M-theory with torsion, A brief introduction to \texttt{Cadabra}: a tool for tensor computations in general relativity, $\mathcal{N} = 4$ conformal supergravity: the complete actions, Computer algebra calculations in supersymmetric electrodynamics, Conformal properties of soft operators. II: Use of null-states, A Tower Weak Gravity Conjecture from Infrared Consistency, An algebraic geometric foundation for a classification of second-order superintegrable systems in arbitrary dimension, Curvature squared invariants in six-dimensional $ \mathcal{N}=(1,0)$ supergravity, Dirac: a command-line $\gamma$-matrix calculator, Closed string theory without level-matching at the free level, Factorising the 3D topologically twisted index, Simple recipe for holographic Weyl anomaly, Cadabra and Python algorithms in general relativity and cosmology. II: Gravitational waves, One loop mass renormalization of massive states using pure spinor formalism, Almost Robinson geometries, Localization of 𝖴(1) gauge field by non-minimal coupling with gravity in braneworlds, Probing the string winding sector, On the supersymmetric solutions of D=3 half-maximal supergravities, Dynamical black hole entropy in effective field theory, A geometric Laplace method, Non-relativistic heterotic string theory, Algebraic conditions for conformal superintegrability in arbitrary dimension, Computing with Hamiltonian operators, Subleading soft theorem for multiple soft gravitons, Higher-derivative couplings in string theory: dualities and the $B$ field, Symbolic and numerical analysis in general relativity with open source computer algebra systems, Amplitudes involving massive states using pure spinor formalism, New features in the second version of the Cadabra computer algebra system, Perturbative quantum gravity with the Immirzi parameter, Duality invariance: from M-theory to double field theory, On eleven-dimensional supergravity and Chern-Simons theory, Chiral strings, topological branes, and a generalised Weyl-invariance, $E_{7(7)}$ exceptional field theory in superspace, FormTracer. A Mathematica tracing package using FORM, Einstein’s gravity from a polynomial affine model, Monopole star products are non-alternative, The odd story of $\alpha$'-corrections, Recursion operators in the cotangent covering of the rdDym equation, $G_2$ holonomy manifolds are superconformal, Integration of trace anomaly in $6D$, Cosmological perturbations of unimodular gravity and general relativity are identical, The component structure of conformal supergravity invariants in six dimensions, Second order higher-derivative corrections in double field theory, Holographic two-point functions in conformal gravity, Fermions and supersymmetry in $E_{6(6)}$ exceptional field theory, Towards 't Hooft parameter corrections to charge transport in strongly-coupled plasma, Double field theory and $ \mathcal{N} = {4} $ gauged supergravity, Plasma conductivity at finite coupling, Cadabra: a field-theory motivated symbolic computer algebra system, xPerm: fast index canonicalization for tensor computer algebra, Kaluza-Klein reduction on a maximally non-Riemannian space is moduli-free, Geometry of $\mathbb{R}^+ {\times} E_{3(3)}$ exceptional field theory and F-theory, Differential geometry with a projection: application to double field theory, $N=8$ supergravity with local scaling symmetry, The generalized Bergshoeff-de Roo identification. II., Supergravities without an action: gauging the trombone, M-theoretic Lichnerowicz formula and supersymmetry, Quantum corrections to broken $N=8$ supergravity, Higher derivative BLG: Lagrangian and supersymmetry transformations, On topologically massive spin-2 gauge theories beyond three dimensions, Duality invariant M-theory: gauged supergravities and Scherk-Schwarz reductions, Three-dimensional extended Lifshitz, Schrödinger and Newton-Hooke supergravity, A calculation of the Weyl anomaly for 6D conformal higher spins, \textit{Spinors}: a Mathematica package for doing spinor calculus in general relativity, Generalised Garfinkle–Vachaspati transform with dilaton, Conformal Killing initial data, Emergent Planck mass and dark energy from affine gravity, Three-dimensional extended Newtonian (super)gravity, One-loop divergences in 7D Einstein and 6D conformal gravities, Exploring the geometry of supersymmetric double field theory, Faster tensor canonicalization, Vector Galileon and inflationary magnetogenesis, Cosmic structures and gravitational waves in ghost-free scalar-tensor theories of gravity, Twisting non-shearing congruences of null geodesics, almost CR structures and Einstein metrics in even dimensions

Uses Software

Cites Work