Journal Article Coqによる初等幾何学の証明方法について
Elementary Geometry in Coq
Coq ニ ヨル ショトウ キカガク ノ ショウメイ ホウホウ ニ ツイテ

田中, 久治  ,  溝口, 佳寛

22 ( 2 )  , pp.43 - 46 , 2016-05-01 , 日本数式処理学会
ISSN:0919-1410
ISBN:978-4-903027-27-2
NCID:AN10403984
Full-Text

http://catalog.lib.kyushu-u.ac.jp/handle/2324/1685899/JSSAC_report.pdf

Number of accesses :  

Other information