Cadabra: a field-theory motivated symbolic computer algebra system

@article{Peeters2007CadabraAF,
  title={Cadabra: a field-theory motivated symbolic computer algebra system},
  author={Kasper Peeters},
  journal={Computer Physics Communications},
  year={2007},
  volume={176},
  pages={550-558}
}
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… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 16 references

GNU TeXmacs, A free, structured, wysiwyg and technical text editor

van der Hoeven
2001
View 3 Excerpts
Highly Influenced

Normal forms for tensor polynomials

S. A. Fulling, R. C. King, B. G. Wybourne, C. J. Cummins
1: The Riemann tensor”, Class. Quant. Grav. 9 • 1992
View 3 Excerpts
Highly Influenced

Cadabra: tutorial and reference guide

K. Peeters
http://www.aei.mpg.de/~peekas/cadabra/ • 2006
View 2 Excerpts

Tree.hh”, 2006, http://www.aei.mpg.de/~peekas/tree

K. Peeters
2006
View 1 Excerpt

Algorithmic simplification of tensor expressions

R. Portugal
J. Phys. A32 • 1999
View 2 Excerpts

M

A. Cohen
van Leeuwen, and B. Lisser, “LiE v. 2.2” • 1998
View 1 Excerpt

Normal forms for tensor polynomials . 1 : The Riemann tensor , Class

R. C. King S. A. Fulling, B. G. Wybourne, C. J. Cummins
Quant . Grav . • 1998