scientific article; zbMATH DE number 3147378

zbMATH Open0090.18802MaRDI QIDQ3263441FDOQ3263441

Authors: A. G. Walker 

Publication date: 1959

Title of this publication is not available (Why is that?)

zbMATH Keywords

classical field theory, relativity theory

Cited In (3)

• Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
• A uniform syntactic structure for the theory of special relativity and classical mechanics
• Formalising geometric axioms for Minkowski spacetime and without-loss-of-generality theorems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3263441)