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
- Algorithmic simplification of tensor expressions
- An algorithm to simplify tensor expressions
- ATENSOR -- REDUCE program for tensor simplification
- Cadabra: a field-theory motivated symbolic computer algebra system
- Code optimization in FORM
- 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?)
- 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)- Symbolic algebra and renormalization of gauge theories
- Computer algebra and field theories
- Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language
- Higher derivative quartic vertex of \(f(R)\) gravity in light-cone gauge
- \(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
- Factorising the 3D topologically twisted index
- Simple recipe for holographic Weyl anomaly
- Probing the string winding sector
- Subleading soft theorem for multiple soft gravitons
- Symbolic and numerical analysis in general relativity with open source computer algebra systems
- Amplitudes involving massive states using pure spinor formalism
- FormTracer. A Mathematica tracing package using FORM
- Holographic two-point functions in conformal gravity
- Fermions and supersymmetry in \(E_{6(6)}\) exceptional field theory
- 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
- \(G_2\) holonomy manifolds are superconformal
- The generalized Bergshoeff-de Roo identification. II.
- A calculation of the Weyl anomaly for 6D conformal higher spins
- Emergent Planck mass and dark energy from affine gravity
- Exploring the geometry of supersymmetric double field theory
- Faster tensor canonicalization
- Twisting non-shearing congruences of null geodesics, almost CR structures and Einstein metrics in even dimensions
- \(\mathcal{N} = 4\) conformal supergravity: the complete actions
- Conformal properties of soft operators. II: Use of null-states
- New features in the second version of the Cadabra computer algebra system
- Recursion operators in the cotangent covering of the rdDym equation
- 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
- 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
- M-theoretic Lichnerowicz formula and supersymmetry
- Three-dimensional extended Lifshitz, Schrödinger and Newton-Hooke supergravity
- Three-dimensional extended Newtonian (super)gravity
- Geometric algebra techniques in flux compactifications
- Curvature squared invariants in six-dimensional $ \mathcal{N}=(1,0)$ supergravity
- Higher-derivative couplings in string theory: dualities and the \(B\) field
- Using two types of computer algebra systems to solve Maxwell optics problems
- 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
- Computing with Hamiltonian operators
- Boundary stress-energy tensor and Newton-Cartan geometry in Lifshitz holography
- \( \mathcal{N} = 2\) higher-derivative couplings from strings
- \(\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
- scientific article; zbMATH DE number 2089017 (Why is no real title available?)
- \texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}
- Generalised Garfinkle-Vachaspati transform with dilaton
- \textit{xTras}: a field-theory inspired \textit{xAct} package for Mathematica
- The lift of type IIA supergravity with D6 sources: M-theory with torsion
- scientific article; zbMATH DE number 480574 (Why is no real title available?)
- Chiral strings, topological branes, and a generalised Weyl-invariance
- Einstein's gravity from a polynomial affine model
- Perturbative quantum gravity with the Immirzi parameter
- Duality invariance: from M-theory to double field theory
- FORM version 4.0
- Vector Galileon and inflationary magnetogenesis
- Cosmic structures and gravitational waves in ghost-free scalar-tensor theories of gravity
- Non-comoving cosmology
- Conformal Killing initial data
- Computer algebra calculations in supersymmetric electrodynamics
- A Tower Weak Gravity Conjecture from Infrared Consistency
- An algebraic geometric foundation for a classification of second-order superintegrable systems in arbitrary dimension
- Dirac: a command-line -matrix calculator
- Closed string theory without level-matching at the free level
- 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
- A brief introduction to \texttt{Cadabra}: a tool for tensor computations in general relativity
- 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
- On the supersymmetric solutions of D=3 half-maximal supergravities
- Hamiltonian analysis of metric-affine-\(R^2\) theory
- On eleven-dimensional supergravity and Chern-Simons theory
- Photon propagator for inflation in the general covariant gauge
- Components of curvature-squared invariants of minimal supergravity in five dimensions
- Conformal anomalies for (maximal) 6d conformal supergravity
- \(E_{7(7)}\) exceptional field theory in superspace
- Monopole star products are non-alternative
- The odd story of \(\alpha\)'-corrections
- 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
- Six-dimensional \(\mathcal{N} = (2, 0)\) conformal superspace
- Two simple photon gauges in inflation
- On 4D, \(\mathcal{N} = 2\) deformed vector multiplets and partial supersymmetry breaking in off-shell supergravity
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)
