Cadabra: a field-theory motivated symbolic computer algebra system

Computer Physics Communications

Volumn 176, Issue 8, 2007, Pages 550-558

  Peeters, Kasper ^a  

^a ALBERT EINSTEIN INSTITUT   (Germany)

Author keywords

Computer algebra; Field theory

Indexed keywords

DATA STRUCTURES; ERROR ANALYSIS; GRAPH THEORY; SOFTWARE PROTOTYPING;

COMPACT NOTATION; COMPUTER ALGEBRA; FIELD THEORY;

ALGEBRA;

EID: 33947251769     PISSN: 00104655     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cpc.2007.01.003     Document Type: Article

References (23)

1. Fateman R.J., and Caspi E. Parsing {A figure is presented} into mathematics. SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation) 33 3 (1999) 26
2. J. Martin-Garcia, xPerm and xAct, http://metric.iem.csic.es/Martin-Garcia/xAct/index.html
3. A. Balfagón, P. Castellví, X. Jaén, Tools of tensor calculus, http://baldufa.upc.es/xjaen/ttc/
4. Klioner S.A. EinS: A Mathematica package for computations with indexed objects. gr-qc/0011012
5. Parker L., and Christensen S.M. Mathtensor: A System for Doing Tensor Analysis by Computer (1994), Addison-Wesley
6. Vermaseren J.A.M. New features of FORM. math-ph/0010025
7. K. Peeters, Cadabra: tutorial and reference guide, 2006, http://www.aei.mpg.de/~peekas/cadabra/
8. J. van der Hoeven, GNU TeXmacs: A free, structured, WYSIWYG and technical text editor, in: D. Flipo (Ed.), Actes du congrès GUTenberg, Le document au XXI-ième siècle, vol. 39-40, Metz, 14-17 mai 2001, pp. 39-50, http://www.texmacs.org
9. K. Peeters, Tree.hh, 2006, http://www.aei.mpg.de/~peekas/tree/
10. Musser D.R., and Saini A. STL Tutorial and Reference Guide, C++ Programming with the Standard Template Library (1996), Addison-Wesley
11. M.A.H. MacCallum, J.E.F. Skea, SHEEP: A computer algebra system for general relativity, in: M.J. Rebouças, W.L. Roque (Eds.), Algebraic Computing in General Relativity, Oxford, 1994, pp. 1-172
12. Portugal R. Algorithmic simplification of tensor expressions. J. Phys. A 32 (1999) 7779-7789
13. A. Dresse, Polynomial Poisson structures and dummy variables in computer algebra, PhD thesis, Université Libre de Bruxelles, 1993
14. Ilyin V.A., and Kryukov A.P. ATENSOR-REDUCE program for tensor simplification. Comput. Phys. Comm. 96 (1996) 36-52
15. Hornfeldt L. A system for automatic generation of tensor algorithms and indicial tensor calculus, including substitution of sums. In: Ng (Ed). Proceedings of EUROSAM 79. Lecture Notes in Computer Science vol. 72 (1979), Springer 279-290
16. A. Cohen, M. van Leeuwen, B. Lisser, LiE v. 2.2, 1998, http://wwwmathlabo.univ-poitiers.fr/~maavl/LiE/
17. Green M.B., Peeters K., and Stahn C. Superfield integrals in high dimensions. JHEP 0508 (2005) 093. hep-th/0506161
18. T. Weiberl, G.H. Gonnet, An algebra of properties, in: Proceedings of the ISSAC-91 Conference, Bonn, 1991, pp. 352-359
19. Daly T. Axiom, vol. 1: Tutorial (2005), Lulu Press
20. Portugal R. An algorithm to simplify tensor expressions. Comput. Phys. Comm. 115 (1998) 215-230. gr-qc/9803023
21. R. Portugal, The Canon package, http://www.cbpf.br/~portugal/Canon.html
22. Fulling S.A., King R.C., Wybourne B.G., and Cummins C.J. Normal forms for tensor polynomials. 1: The Riemann tensor. Class. Quant. Grav. 9 (1992) 1151
23. Peeters K. Introducing Cadabra: a symbolic computer algebra system for field-theory problems. hep-th/0701238