Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics.

Mike Stannett

Browse the full MCU paper archive.