## 160 Citations

### Cadabra2: computer algebra for field theory revisited

- Computer ScienceJ. Open Source Softw.
- 2018

Cadabra2 is an open source computer algebra system specifically written for the solution of tensor field theory problems, which enables manipulation of Lagrangians, computation of equations of motion, analysis of symmetries and so on in an interactive notebook interface, using an input format which closely resembles standard mathematical notation.

### Introducing Cadabra: a symbolic computer algebra system for field theory problems

- Computer Science
- 2007

The present paper is an introduction to the Cadabra program using several concrete problems from gravity, supergravity and quantum field theory.

### FieldsX -- An extension package for the xAct tensor computer algebra suite to include fermions, gauge fields and BRST cohomology

- Mathematics
- 2020

I present the tensor computer algebra package FieldsX, which extends the xAct suite of tensor algebra packages to perform computations in field theory with fermions and gauge fields. This includes…

### Symbolic field theory with Cadabra

- Mathematics
- 2009

Cadabra is a new computer algebra system designed specifical ly for the solution of problems encountered in field theory. It has extensive functionality for tensor polynomial simpl ification…

### Dirac matrices for Chern-Simons gravity

- Mathematics
- 2012

A genuine gauge theory for the Poincare, de Sitter or anti-de Sitter algebras can be constructed in (2n − 1)-dimensional spacetime by means of the Chern-Simons form, yielding a gravitational theory…

### Exceptional Field Theory and Supergravity

- Mathematics
- 2017

In this thesis, recent developments in Double Field Theory (DFT) and Exceptional Field Theory (EFT) are presented. They are reformulation of supergravity in which duality symmetries are made manifest…

### Computer algebra in gravity research

- Computer ScienceLiving reviews in relativity
- 2018

The general nature of computer algebra is discussed, along with some aspects of CA system design; features particular to GR’s requirements are considered; information on packages for CA in GR is provided, both for those packages currently available and for their predecessors.

### U-dualities in Type II string theories and M-theory

- Mathematics
- 2013

In this thesis the recently developed duality covariant approach to string and M-theory is investigated. In this formalism the U-duality symmetry of M-theory or T-duality symmetry of Type II string…

### Holographic S-fold theories at one loop

- PhysicsSciPost Physics
- 2022

A common feature of tree-level holography is that a correlator in one theory can serve as a generating function for correlators in another theory with less continuous symmetry. This is the case for a…

## References

SHOWING 1-10 OF 33 REFERENCES

### Introducing Cadabra: a symbolic computer algebra system for field theory problems

- Computer Science
- 2007

The present paper is an introduction to the Cadabra program using several concrete problems from gravity, supergravity and quantum field theory.

### Parsing TEX into mathematics

- Computer ScienceSIGS
- 1999

A program is developed that can handle 43% of 10,740 TEX formulas in a well-known table of integrals and it is expected that a higher success rate can be achieved easily.

### STL tutorial and reference guide - C++ programming with the standard template library

- Computer ScienceAddison-Wesley professional computing series
- 1996

This second edition of the STL Tutorial and Reference Guide is fully updated to reflect all of the changes made to STL for the final ANSI/ISO C++ language standard and has been expanded with new chapters and appendices.

### A system for automatic generation of tensor algorithms

- Computer ScienceEUROSAM
- 1979

APassivating agent is added to a cracking catalyst by mixing the untreated cracking catalyst with a refractory material which has been previously treated with a passivating agent.

### New features of FORM

- Geology
- 2000

Version 3 of FORM is introduced. It contains many new features that are inspired by current developments in the methodology of computations in quantum field theory. A number of these features is…

### Superfield integrals in high dimensions

- Computer Science
- 2005

An efficient, covariant, graph-based method to integrate superfields over fermionic spaces of high dimensionality and has applications to the construction of higher-derivative supergravity actions as well as the computation of string and membrane vertex operator correlators.

### GAMMA: A Mathematica package for performing gamma-matrix algebra and Fierz transformations in arbitrary dimensions

- Mathematics
- 2001

We have developed a Mathematica package capable of performing gamma-matrix algebra in arbitrary (integer) dimensions. As an application we can compute Fierz transformations.

### MathTensor - a system for doing Tensor analysis by computer

- Education
- 1994

The mathtensor a system for doing tensor analysis by computer that will be your best choice for better reading book that will not spend wasted by reading this website.

### Algorithmic simplification of tensor expressions

- Computer Science
- 1999

The canonical form of a single tensor is defined and it is shown that the problem of finding the canonical formof a generic tensor expression reduces to finding thecanon form of single tensors.