CM1 - Numerical Relativity, Black Hole Collisions, and Algebraic Computation |
Speaker_ |
Martin-garcia, Jose M. |
Talk _ |
Computer algebra for tensors |
Abstract _ |
The large complexity of the Einstein equations very often requires the use of computer algebra tools in General Relativity, both in analytical studies (e.g. perturbation theory) or in the numerical implementation of different versions of those equations. This talk briefly summarizes which Computer Algebra tools are available, describing the types of problems that can be addressed with them, the algorithms internally used, and comparing their efficiency. |