Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL (vol 66, pg 953, 2022)

被引：0

作者：

Schmoetten, Richard ^{[1
]}

Palmer, Jake E. ^{[1
]}

Fleuriot, Jacques D. ^{[1
]}

机构：

[1] Univ Edinburgh, Sch Informat, 10 Crichton St, Edinburgh EH8 9AB, Scotland

来源：

关键词：

D O I：

10.1007/s10817-022-09651-1

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页数：1

共 3 条

[1] Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL
Richard Schmoetten
Jake E. Palmer
Jacques D. Fleuriot
[J]. Journal of Automated Reasoning, 2022, 66 : 953 - 988
[2] Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL
Schmoetten, Richard
Palmer, Jake E.
Fleuriot, Jacques D.
[J]. JOURNAL OF AUTOMATED REASONING, 2022, 66 (04) : 953 - 988
[3] Correction: Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL
Richard Schmoetten
Jake E. Palmer
Jacques D. Fleuriot
[J]. Journal of Automated Reasoning, 2023, 67