Coqによる初等幾何学の証明方法について - 九大コレクション

＜学術雑誌論文＞
Coqによる初等幾何学の証明方法について

作成者	作成者名田中, 久治 Tanaka, Hisaharu タナカ, ヒサハル所属機関所属機関名佐賀大学大学院工学系研究科 Department of Information Science, Saga University
作成者	著者識別子 K002201 作成者名溝口, 佳寛 Mizoguchi, Yoshihiro ミゾグチ, ヨシヒロ所属機関所属機関名九州大学マス・フォア・インダストリ研究所 Institute of Mathematics for Industry, Kyushu University
本文言語	日本語
出版者	日本数式処理学会
出版者	Japan Society for Symbolic and Algebraic Computation
発行日	2016-05-01
収録物名	数式処理
収録物名	Bulletin of JSSAC
巻	22
号	2
開始ページ	43
終了ページ	46
出版タイプ	Version of Record
アクセス権	open access
権利関係	(C)2016 Japan Society for Symbolic and Algebraic Computation

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
JSSAC_report	pdf	142 KB	1,503