Mike Stannett. Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics. In Jérôme Durand-Lose, Benedek Nagy, editors, Machines, Computations, and Universality - 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings. Volume 9288 of Lecture Notes in Computer Science, pages 17-27, Springer, 2015. [doi]
Abstract is missing.