Elucidation of covariant proofs in general relativity: example of the use of algebraic software in the shear-free conjecture in MAPLE
scientific article; zbMATH DE number 6843682
scientific article