Minkowski時空と無損失定理のための幾何学的公理の形式化【JST・京大機械翻訳】

Schmoetten Richard; Palmer Jake; Fleuriot Jacques

プレプリント

J-GLOBAL ID：202202207146313998 整理番号：22P0022779

Minkowski時空と無損失定理のための幾何学的公理の形式化【JST・京大機械翻訳】

Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年01月03日プレプリントサーバーでの情報更新日： 2022年01月03日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

この貢献は,Minkowski空間時間(特別相対論的の研究で使われる)に対する公理システムの連続形式化を報告し,Minkowskiによって採用されたベクトル空間手法よりも,ユークリッド幾何学に対するHilbertの公理的アプローチに近づける。線形次数に関連する定理の定式化だけでなく,アキシムの簡単な概観を示した。Isabelle/Isarスクリプトの証明と説明を,対称性と推理の利用に焦点を絞って論じた。【JST・京大機械翻訳】

, , , , , ,
, , 【Automatic Indexing@JST】

計算機システム開発

, , , , ,

前のページに戻る