ADM FORMALISM APPLIED TO SOME SPACE-TIME MODELS USING EXCALC ALGEBRAIC PROGRAMMING
Dumitru N. Vulcanov · International Journal of Modern Physics C · 1994
This article presents the results obtained with new procedures in REDUCE language using EXCALC package (adapted for IBM-PC machines) for algebraic programming in the Hamiltonian formulation of general relativity (ADM formalism). The procedures calculate the dynamic and the constraint equations and, in addition, we have extended the obtained procedures in order to perform a complete ADM reductional procedure: solving the constraint equations, changing of variables, reduction of dynamic variables, etc. The results obtained after processing some examples of space-time models are presented here.