Using Isabelle/HOL to verify first-order relativity theory

Stannett, M.P. orcid.org/0000-0002-2794-8614 and Németi, I. (2013) Using Isabelle/HOL to verify first-order relativity theory. Journal of Automated Reasoning, 52. pp. 361-378. ISSN 0168-7433

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2016 Springer. This is an author produced version of a paper subsequently published in Journal of Automated Reasoning. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Isabelle/HOL; first-order relativity theory; hypercomputation; physics and computation
Dates:
  • Published: 18 September 2013
  • Accepted: 29 August 2013
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
FunderGrant number
ROYAL SOCIETYIE110369
Depositing User: Symplectic Sheffield
Date Deposited: 15 Sep 2016 14:04
Last Modified: 21 Mar 2018 01:47
Published Version: https://dx.doi.org/10.1007/s10817-013-9292-7
Status: Published
Publisher: Springer
Refereed: Yes
Identification Number: https://doi.org/10.1007/s10817-013-9292-7

Share / Export

Statistics