Proof verification and proof discovery for relativity
scientific article; zbMATH DE number 6693201
scientific article