Publication:3706492
From MaRDI portal
zbMath0583.68013MaRDI QIDQ3706492
Jan E. Åman, Malcolm A. H. MacCallum, G. C. Joly, Ray A. d'Inverno
Publication date: 1984
computer algebra system SHEEP; multiplicities of roots of quartic equations; Petrov classification of the Weyl conformal curvature; Ricci tensor of spacetimes
68W30: Symbolic computation and algebraic computation
53A45: Differential geometric aspects in vector and tensor analysis
65H05: Numerical computation of solutions to single equations
12D10: Polynomials in real and complex fields: location of zeros (algebraic theorems)
83C05: Einstein's equations (general structure, canonical formalism, Cauchy problems)
Related Items
Uses Software