The use of the algebraic programming in teaching general relativity

We are entering an era where the numerical construction of generic spacetimes is becoming a reality. The use of computer simulations, in principle, allows us to solve Einstein equations in their full generality and unravel important messages so far hidden in the theory. Despite the problems still found in present applications, significant progress is being achieved in a number of areas where simulations are on the verge of providing useful physical information. This article r...

We study three computer algebra systems, namely SageMath (with SageManifolds package), Maxima (with ctensor package) and Python language (with GraviPy module), which allow tensor manipulation for general relativity calculations along with general algebraic calculations. We present a benchmark of these systems using simple examples. After the general analysis, we focus on the SageMath and SageManifolds system to derive, analyze and visualize the solutions of the massless Klein...

Despite being a major component in the teaching of special relativity, the twin `paradox' is generally not examined in courses on general relativity. Due to the complexity of analytical solutions to the problem, the paradox is often neglected entirely, and students are left with an incomplete understanding of the relativistic behaviour of time. This article outlines a project, undertaken by undergraduate physics students at the University of Sydney, in which a novel computati...

We introduce a new, open-source computational general relativity framework for the Wolfram Language called Gravitas, which boasts a number of novel and distinctive features as compared to the many pre-existing computational and numerical relativity frameworks currently available within the open-source community. These include, but are not limited to: seamless integration of its powerful symbolic and numerical subsystems, and, by extension, seamless transition between analytic...

The evolution of the methods used to find solutions of Einstein's field equations during the last 100 years is described. Early papers used assumptions on the coordinate forms of the metrics. Since the 1950s more invariant methods have been deployed in most new papers. The uses to which the solutions found have been put are discussed, and it is shown that they have played an important role in the development of many aspects, both mathematical and physical, of general relativi...

This is a semipopular introduction to the Special and General Theory of Relativity, with special emphasis on the geometrical aspects of both theories and their physical implications.

This article outlines our derivation of the second order perturbations to a Schwarzschild black hole, highlighting our use of, and necessary reliance on, computer algebra. The particular perturbation scenario that is presented here is the case of the linear quadrapole seeding the second order quadrapole. This problem amounts to finding the second order Zerilli wave equation, and in particular the effective source term due to the linear quadrapole. With one minor exception, ou...

Numerical Relativity is concerned with solving the Einstein equations, as well as any field or matter equations on curved space-time, by means of computer calculations. The methods developed for this purpose up to now, as well as the addressed physical problems are getting more numerous every day. This is a brief summary of the presentations which have been given during the 9th Marcel Grossman meeting, which took place in Rome, from 2nd to 8th of July 2000. Many different fie...

In these lectures general relativity is outlined as the classical field theory of gravity, emphasizing physical phenomena rather than mathematical formalism. Dynamical solutions representing traveling waves as well as stationary fields like those of black holes are discussed. Their properties are investigated by studying the geodesic structure of the corresponding space-times, as representing the motion of point-like test particles. The interaction between gravitational, elec...

This is an English translation of the Italian version of an encyclopedia chapter that appeared in the Italian Encyclopedia of the Physical Sciences, edited by Bruno Bertotti (1994). Following requests from colleagues we have decided to make it available to a more general readership. We present the motivation for constructing General Relativity, provide a short discussion of tensor algebra, and follow the set up of Einstein equations. We discuss briefly the initial value pro...