Proof verification and proof discovery for relativity

2015

Naveen Sundar Govindarajalulu, Selmer Bringsjord

Synthese 192 (7)