CoqとIsabelle を用いたユークリッド原論の定理証明

Autor: Fumiya, IWAMA, Tadashi, TAKAHASHI
Jazyk: japonština
Rok vydání: 2020
Předmět:
Zdroj: 甲南大学教育学習支援センター紀要 = Memoirs of Learning Utility Center for Konan University Students. 5:1-16
ISSN: 2432-2334
Popis: ソフトウェアを用いて数学の定理の証明を行うことについては,多くのソフトウェアが開発されている。本研究では,定理証明ソフトウェアCoq とIsabelle を用いてユークリッド原論の定理証明を行った。この活動によってプログラミング技術と数学の本質についての理解を深めることが支援できる。Coq およびIsabelle を用いて同じユークリッド原論の定理証明を行い, それぞれの特徴と差異を調べた。
Databáze: OpenAIRE