K. T. Vu

A comparative study of some computer algebra packages which determine the lie point symmetries of differential equations

The study seeks to determine which of five computer algebra packages is best at finding the Lie point symmetries of systems of partial differential equations with minimal user intervention. The chosen packages are LIEPDE and DIMSYM for REDUCE, LIE and BIGLIE for MUMATH, DESOLV for MAPLE, and MATHLIE for MATHEMATICA. A series of systems of partial differential equations are used in the study. The paper concludes that while all of the computer packages are useful, DESOLV appears to be the most successful system at determining the complete set of Lie point symmetries of systems of partial differential equations.

Similarity solutions of partial differential equations using DESOLV

We present and describe new reduction routines included in DESOLV which, in many cases, may allow the complete automation of the determination of similarity solutions of partial differential equations.

A New Algorithm for the Petrov Classification of the Weyl Tensor

A new algorithm for the Petrov classification of the Weyl tensor is introduced. It is similar to the Letniowski-McLenaghan algorithm [1] when some of the Ψs are zero, but offers a completely new approach when all of the Ψs are nonzero. In all cases, new code in Maple has been implemented.

GHP: A Maple Package for Performing Calculations in the Geroch-Held-Penrose Formalism

We present a new symbolic algebra package, written for Maple, for performing computations in the Geroch-Held-Penrose formalism. We demonstrate the essential features and capabilities of our package by investigating Petrov-D vacuum solutions of Einsteins field equations.

The GHP II Package with Applications

We present an advanced version of the Maple package GHP called GHPII. In it we provide a number of additional sophisticated tools to assist with problems formulated in the Geroch-Held-Penrose (ghp) formalism. The first part of this article discusses these new tools while in the second part we shall apply the ghp formalism, using the GHPII routines, to vacuum Petrov type D spacetimes and shear-free perfect fluids. We prove that for all shear-free perfect fluids with a barotropic equation of state, where two of the principal null directions are coplanar with the fluid four-velocity and vorticity then either the expansion or vorticity of the fluid must be zero.

Algebraically special coplanar shear-free perfect fluids in general relativity

We investigate all algebraically special, not conformally flat, shear-free, isentropic (p(w), w + p ≠ 0), perfect fluid solutions of Einsteins field equations. We show, using the GHP formalism, that if the repeated principle null direction of the Weyl tensor is coplanar with the fluids 4-velocity and vorticity vector (assumed nonzero), then the fluids expansion must vanish.