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