Proof verification and proof discovery for relativity
type: Item
instance of: scholarly article
title: Proof verification and proof discovery for relativity
zbMATH Open document ID: 1404.68134
author: Naveen Sundar Govindarajalulu
author: Selmer Bringsjord
author: Joshua A. Taylor
published in: Synthese
publication date: 2017-03-09T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 83-08
zbMATH DE Number: 6693201
zbMATH Keywords: proof verification
zbMATH Keywords: logic and relativity
zbMATH Keywords: automated physics
zbMATH Keywords: theorem proving in physics
zbMATH Keywords: axiomatizations in physics
describes a project that uses: Mathematica
describes a project that uses: Vivid
describes a project that uses: SNARK
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: s11229-014-0424-3
OpenAlex ID: W1980505047
cites work: Q4790649
cites work: Q3367316
cites work: A logic road from special relativity to general relativity
cites work: Q3262783
cites work: Vivid: a framework for heterogeneous problem solving
cites work: Computability and Logic
cites work: Q4298571
cites work: Q3124542
cites work: Q4858033
cites work: A Brief Overview of Mizar
cites work: Using Isabelle/HOL to verify first-order relativity theory
cites work: Q4244407
DOI: 10.1007/S11229-014-0424-3
description: scientific article; zbMATH DE number 6693201