フタ　ユウイチ   Futa Yuichi   布田　裕一    所属   コンピュータサイエンス学部 コンピュータサイエンス学科    職種   教授
言語種別	英語
発行・発表の年月	2012/10
形態種別	学術論文
査読	査読あり
標題	Formalization of Definitions and Theorems Related to an Elliptic Curve over a Finite Prime Field by Using Mizar
執筆形態	共著
掲載誌名	Formal Mathematics for Mathematicians, Journal of Automated Reasoning
掲載区分	国外
出版社・発行元	Springer
巻・号・頁	50(2),pp.161-172
著者・共著者	Yuichi Futa, Hiroyuki Okazaki and Yasunari Shidama