Cadabra: a field-theory motivated symbolic computer algebra system
From MaRDI portal
(Redirected from Publication:710052)
Abstract: Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be used to represent and manipulate field-theory expressions, this often leads to cumbersome input formats, unexpected side-effects, or the need for a lot of special-purpose code. This makes a direct translation of problems from paper to computer and back needlessly time-consuming and error-prone. A prototype computer algebra system is presented which features TeX-like input, graph data structures, lists with Young-tableaux symmetries and a multiple-inheritance property system. The usefulness of this approach is illustrated with a number of explicit field-theory problems.
Recommendations
Cites work
- scientific article; zbMATH DE number 3647669 (Why is no real title available?)
- scientific article; zbMATH DE number 1273689 (Why is no real title available?)
- scientific article; zbMATH DE number 773929 (Why is no real title available?)
- ATENSOR -- REDUCE program for tensor simplification
- Algorithmic simplification of tensor expressions
- An algorithm to simplify tensor expressions
- Cadabra: a field-theory motivated symbolic computer algebra system
- Code optimization in FORM
- Normal forms for tensor polynomials. I. The Riemann tensor
- Symbolic computation with indexed objects within \texttt{MATHEMATICA}
Cited in
(only showing first 100 items - show all)- An algebraic geometric foundation for a classification of second-order superintegrable systems in arbitrary dimension
- Symbolic and numerical analysis in general relativity with open source computer algebra systems
- \(E_{7(7)}\) exceptional field theory in superspace
- Symbolic algebra and renormalization of gauge theories
- Plasma conductivity at finite coupling
- Recursion operators in the cotangent covering of the rdDym equation
- Monopole star products are non-alternative
- Integration of trace anomaly in \(6D\)
- The odd story of \(\alpha\)'-corrections
- Second order higher-derivative corrections in double field theory
- Two simple photon gauges in inflation
- \(G_2\) holonomy manifolds are superconformal
- Three-dimensional extended Newtonian (super)gravity
- Cosmological perturbations of unimodular gravity and general relativity are identical
- The component structure of conformal supergravity invariants in six dimensions
- Duality invariance: from M-theory to double field theory
- New features in the second version of the Cadabra computer algebra system
- M-theoretic Lichnerowicz formula and supersymmetry
- \(E_{8(8)}\) exceptional field theory: geometry, fermions and supersymmetry
- Boundary stress-energy tensor and Newton-Cartan geometry in Lifshitz holography
- \( \mathcal{N} = 2\) higher-derivative couplings from strings
- Higher derivative BLG: Lagrangian and supersymmetry transformations
- Probing the string winding sector
- \(E_{8}\) duality and dual gravity
- Gauged supergravities in 5 and 6 dimensions from generalised Scherk-Schwarz reductions
- Conformal properties of soft operators. II: Use of null-states
- \textit{xTras}: a field-theory inspired \textit{xAct} package for Mathematica
- Computing with Hamiltonian operators
- Fermions and supersymmetry in \(E_{6(6)}\) exceptional field theory
- Conformal Killing initial data
- On the supersymmetric solutions of D=3 half-maximal supergravities
- Computer algebra and field theories
- Using two types of computer algebra systems to solve Maxwell optics problems
- Hamiltonian analysis of metric-affine-\(R^2\) theory
- \(O(N)\) model in Euclidean de Sitter space: beyond the leading infrared approximation
- FORM version 4.0
- Hadron structure functions at small \(x\) from string theory
- FormTracer. A Mathematica tracing package using FORM
- Dynamical black hole entropy in effective field theory
- Cadabra: a field-theory motivated symbolic computer algebra system
- N=8 supergravity with local scaling symmetry
- Differential geometry with a projection: application to double field theory
- Towards 't Hooft parameter corrections to charge transport in strongly-coupled plasma
- On 4D, \(\mathcal{N} = 2\) deformed vector multiplets and partial supersymmetry breaking in off-shell supergravity
- The mostly BRST exact operator in superstrings
- Holographic two-point functions in conformal gravity
- Localization of 𝖴(1) gauge field by non-minimal coupling with gravity in braneworlds
- Generalised Garfinkle-Vachaspati transform with dilaton
- The generalized Bergshoeff-de Roo identification. II.
- Chiral strings, topological branes, and a generalised Weyl-invariance
- Amplitudes involving massive states using pure spinor formalism
- Removing spurious degrees of freedom from EFT of gravity
- \(\mathrm{SO}(9)\) supergravity in two dimensions
- Geometric algebra techniques in flux compactifications. II
- Rigid 6\(D\) supersymmetry and localization
- Entropy currents from holography in hydrodynamics with charge
- Three-dimensional extended Lifshitz, Schrödinger and Newton-Hooke supergravity
- \(\mathcal{N} = 4\) conformal supergravity: the complete actions
- scientific article; zbMATH DE number 480574 (Why is no real title available?)
- Components of curvature-squared invariants of minimal supergravity in five dimensions
- \texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}
- Photon propagator for inflation in the general covariant gauge
- Duality invariant M-theory: gauged supergravities and Scherk-Schwarz reductions
- Quantum corrections to broken \(N=8\) supergravity
- Kaluza-Klein reduction on a maximally non-Riemannian space is moduli-free
- Double field theory and \( \mathcal{N} = {4} \) gauged supergravity
- Supersymmetric gauged double field theory: systematic derivation by virtue of twist
- T-duality and \(\alpha'\)-corrections
- One loop mass renormalization of massive states using pure spinor formalism
- Curvature squared invariants in six-dimensional $ \mathcal{N}=(1,0)$ supergravity
- The Hamiltonian constraint in the symmetric teleparallel equivalent of general relativity
- Higher-derivative couplings in string theory: dualities and the \(B\) field
- Supergravities without an action: gauging the trombone
- A geometric Laplace method
- Twisting non-shearing congruences of null geodesics, almost CR structures and Einstein metrics in even dimensions
- scientific article; zbMATH DE number 2089017 (Why is no real title available?)
- Faster tensor canonicalization
- Geometry of \(\mathbb{R}^+ {\times} E_{3(3)}\) exceptional field theory and F-theory
- A calculation of the Weyl anomaly for 6D conformal higher spins
- Computer algebra calculations in supersymmetric electrodynamics
- Non-relativistic heterotic string theory
- Einstein's gravity from a polynomial affine model
- Perturbative quantum gravity with the Immirzi parameter
- A brief introduction to \texttt{Cadabra}: a tool for tensor computations in general relativity
- Emergent Planck mass and dark energy from affine gravity
- Higher derivative quartic vertex of \(f(R)\) gravity in light-cone gauge
- On eleven-dimensional supergravity and Chern-Simons theory
- Algebraic conditions for conformal superintegrability in arbitrary dimension
- xPerm: fast index canonicalization for tensor computer algebra
- Dirac: a command-line -matrix calculator
- Almost Robinson geometries
- \textit{Spinors}: a Mathematica package for doing spinor calculus in general relativity
- Subleading soft theorem for multiple soft gravitons
- One-loop divergences in 7D Einstein and 6D conformal gravities
- Vector Galileon and inflationary magnetogenesis
- Conformal anomalies for (maximal) 6d conformal supergravity
- On topologically massive spin-2 gauge theories beyond three dimensions
- A Tower Weak Gravity Conjecture from Infrared Consistency
- The lift of type IIA supergravity with D6 sources: M-theory with torsion
- Closed string theory without level-matching at the free level
This page was built for publication: Cadabra: a field-theory motivated symbolic computer algebra system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q710052)
