Mechanising an Independent Axiom System for Minkowski Space-time (2018)

First Author: Palmer J
Attributed to:  The Integration and Interaction of Multiple Mathematical Reasoning Processes funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://adg2018.cc4cm.org/ADG2018Proceedings

Type: Conference/Paper/Proceeding/Abstract