CarpetCode
- http://www.carpetcode.org/
- A mesh refinement driver for the Cactus code; the primary application is the simulation of black hole spacetimes.
Form Symbolic Manipulation System
- http://www.nikhef.nl/~form/
- A free software package for manipulating tensors (abstract index notation) and other multi-component objects; highly suitable for calculations in general relativity and related theories such as supergravity. Site includes documentation, course material, and possibilities for download.
GRTensorII
- http://grtensor.org/
- A computer algebra package for performing differential geometry calculations. Site includes demonstrations of the package's applications to general relativity.
Kranc
- http://numrel.aei.mpg.de/Research/Kranc/
- A suite of Mathematica packages for numerical relativists, which helps with tasks such as performing 3+1 decompositions, analytical manipulations of tensorial systems of equations (such as change of variables), computation of characteristics or linearizations, and automatic code generation.
Riegeom Package for Maple
- http://www.astro.queensu.ca/%7Eportugal/Riegeom.html
- Package for the mathematical software Maple: abstract tensor manipulation and component calculation in Riemannian spaces; suitable for a variety of calculations in general relativity. Features a short description, examples, downloads for Maple V, and a list of references.
Riemann Package for Maple
- http://www.cbpf.br/%7Eportugal/Riemann.html
- Package written in Maple for calculating tensor components in General Relativity and performing some abstract tensor manipulation; suitable for calculations in general relativity and for quantum field theory in curved spacetime. Features brief description, download for Maple V and for Maple 6 or higher, and examples.
