I used to have a page containing a list of deep space probes. It is no longer maintained; or a comprehensive and up-to-date list of deep space craft, visit NASA's Solar System Exploration Missions page.

An archived version of the old page, if you are interested, is still available.

accesses to this Web page since December 28, 2001.

Here is the simplest Hello, World! program for Windows, in five lines instead of 600. From the preface of my book, Windows 98/NT Programming Unleashed.

#include <windows.h>

int WINAPI WinMain(HINSTANCE d1, HINSTANCE d2, LPSTR d3, int d4)
{
      MessageBox(NULL, "Hello, World!", "", MB_OK);
}

One of the common problems in general relativity concerns the equivalence of two metrics. Because the same manifold can be mapped using drastically different coordinate systems, it is usually not at all that evident whether or not two metrics describe the same manifold. One tool often used to determine if two metrics might be equivalent is an algebraic classification method of the Weyl-tensor, the so-called Petrov-classification.

There are several packages that can do Petrov classification, including the tensor and grTensorII packages in Maple, or the dedicated computer algebra package SHEEP. No such tools existed in Maxima, however. Well, not quite. There was a code fragment in the Maxima tensor package that implemented the Petrov classification algorithm, but it was not supported by any tools; most importantly, no tools were available to perform computations in a rigid frame and to obtain a null tetrad.

Until now, that is. Although this is still considered a work-in-progress, I have put together a set of subroutines that can do all of the above. The following Maxima session demonstrates how these functions can be used to derive the Petrov class of the Kerr metric:

By way of explanation, after initialization and setting up an orthonormal tetrad base using the cframe_flag option, the next step is to compute the metric. A Newman-Penrose null tetrad is also computed using the nptetrad function. With the metric computed, it is possible to use functions from the ctensor package to compute the Ricci and the Weyl tensors.

With the null tetrad and the Weyl tensor, we can compute the Newman-Penrose coefficients which, in turn, are simplified and then used to compute the Petrov class. The Petrov class of the Kerr metric is D, which this script correctly obtains.